12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 02:19, 26 March 2010
, 02:19, 26 March 2010→Frequently used theorems: + Image:Generation Theorem 2.0 Animation.gif
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_09.jpg|500px]] || (2)
| [[Image:PERS_Figure_09.jpg|500px]] || (2)
|}
The steps of this proof are replayed in the following animation.
{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
| [[Image:Generation Theorem 2.0 Animation.gif]]
|}
| (3)
|}
|}