Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 05:38, 17 March 2010

1 byte added , 05:38, 17 March 2010

→‎Proof 1 : Animation

Line 251: Line 251:

=====Proof 1 : Animation=====

−

Here's a animated recap of the graphical transformations that occur in the above proof:

+

Here's an animated recap of the graphical transformations that occur in the above proof:

{| 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"

Jon Awbrey

12,080

edits