12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 03, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 01:56, 21 March 2010
, 01:56, 21 March 2010→Praeclarum theorema : Proof by CAST: renumber figures
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
|}
|}
| (23)
| (25)
|}
|}
| [[Image:Praeclarum Theorema CAST Animation.gif]]
| [[Image:Praeclarum Theorema CAST Animation.gif]]
|}
|}
|
| (26)
|}
|}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
| (24)
| (27)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (28)
|}
|}
