12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 20:00, 24 March 2010
, 20:00, 24 March 2010→Case analysis-synthesis theorem: renumb figs
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (20)
| (α)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (21)
| (β)
|-
|-
|
|
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (22)
| (γ)
|-
|-
|
|
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (23)
| (δ)
|}
|}
o=============================< QES >=======================o
o=============================< QES >=======================o
</pre>
</pre>
| (24)
| (ε)
|}
|}
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
|}
|}
| (25)
| (α)
|}
|}
| [[Image:Praeclarum Theorema CAST 2.0 Animation.gif]]
| [[Image:Praeclarum Theorema CAST 2.0 Animation.gif]]
|}
|}
| (26)
| (β)
|}
|}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
| (27)
| (γ)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (28)
| (δ)
|}
|}