12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory: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
Line 400:
Line 400:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
−| (20)
+| (α)
|}
|}
Line 427:
Line 427:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
−| (21)
+| (β)
|-
|-
|
|
Line 448:
Line 448:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
−| (22)
+| (γ)
|-
|-
|
|
Line 477:
Line 477:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
−| (23)
+| (δ)
|}
|}
Line 532:
Line 532:
o=============================< QES >=======================o
o=============================< QES >=======================o
</pre>
</pre>
−| (24)
+| (ε)
|}
|}
Line 617:
Line 617:
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
|}
|}
−| (25)
+| (α)
|}
|}
Line 628:
Line 628:
| [[Image:Praeclarum Theorema CAST 2.0 Animation.gif]]
| [[Image:Praeclarum Theorema CAST 2.0 Animation.gif]]
|}
|}
−| (26)
+| (β)
|}
|}
Line 635:
Line 635:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
−| (27)
+| (γ)
|}
|}
Line 656:
Line 656:
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
−| (28)
+| (δ)
|}
|}
