12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:12, 27 September 2010
, 12:12, 27 September 2010→C1. Double negation: replace monolithic graphic with frame-table version
The proof that follows is adapted from the one that was given by [[George Spencer Brown]] in his book ''Laws of Form'' (LOF) and credited to two of his students, John Dawes and D.A. Utting.
The proof that follows is adapted from the one that was given by [[George Spencer Brown]] in his book ''Laws of Form'' (LOF) and credited to two of his students, John Dawes and D.A. Utting.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="8"
| [[Image:PERS_Figure_06.jpg|500px]] || (2)
|
{| 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:Double Negation 1.0 Marquee Title.png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 1.png|500px]]
|-
| [[Image:Equational Inference I2 Elicit (( )).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 2.png|500px]]
|-
| [[Image:Equational Inference J1 Insert (a).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 3.png|500px]]
|-
| [[Image:Equational Inference J2 Distribute ((a)).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 4.png|500px]]
|-
| [[Image:Equational Inference J1 Delete (a).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 5.png|500px]]
|-
| [[Image:Equational Inference J1 Insert a.png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 6.png|500px]]
|-
| [[Image:Equational Inference J2 Collect a.png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 7.png|500px]]
|-
| [[Image:Equational Inference J1 Delete ((a)).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 8.png|500px]]
|-
| [[Image:Equational Inference I2 Cancel (( )).png|500px]]
|-
| [[Image:Double Negation 1.0 Storyboard 9.png|500px]]
|-
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
|}
| (2)
|}
|}