Changes

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

118 bytes added , 13:00, 22 March 2010

→‎Praeclarum theorema : Proof by CAST: introduce animation & clarify awkward phrasing

Line 609: Line 609:

| (25)

|}

+

The following Figure provides an animated recap of the graphical transformations that occur in the above proof:

{| align="center" cellpadding="8"

Line 619: Line 621:

|}

−

~~What we have harvested~~ is ~~the succulent equivalent~~ of a ''disjunctive normal form'' (DNF) for the ~~proposition with which we started~~.

+

The logical graph that concludes this proof is a variant type of ''disjunctive normal form'' (DNF) for the logical graph that led it off.

{| align="center" cellpadding="8"

12,080

edits