MyWikiBiz, Author Your Legacy — Thursday November 13, 2025
Jump to navigationJump to search
7,031 bytes removed
, 03:34, 26 August 2008
| Line 279: |
Line 279: |
| | 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. |
| | | | |
| − | <pre>
| + | {| align="center" border="0" cellpadding="4" cellspacing="0" |
| − | o-----------------------------------------------------------o
| + | | [[Image:Logical_Graph_Figure_25.jpg]] || (25) |
| − | | C_1. Double Negation Theorem. Proof. |
| + | |} |
| − | o-----------------------------------------------------------o
| |
| − | | |
| |
| − | | a o |
| |
| − | | \ |
| |
| − | | \ |
| |
| − | | o |
| |
| − | | \ |
| |
| − | | \ |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< I2. Unfold "(())" >=========o
| |
| − | | |
| |
| − | | a o o |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | o o |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< J1. Insert "(a)" >==========o
| |
| − | | |
| |
| − | | a o |
| |
| − | | / |
| |
| − | | / |
| |
| − | | a o a o o |
| |
| − | | \ \ / |
| |
| − | | \ \ / |
| |
| − | | o o |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< J2. Distribute "((a))" >====o
| |
| − | | |
| |
| − | | a o a o |
| |
| − | | \ \ |
| |
| − | | \ \ |
| |
| − | | o o a o |
| |
| − | | \ \ / |
| |
| − | | \ \ / |
| |
| − | | a o o |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | o |
| |
| − | | / |
| |
| − | | / |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< J1. Delete "(a)" >==========o
| |
| − | | |
| |
| − | | a o |
| |
| − | | \ |
| |
| − | | \ |
| |
| − | | o o |
| |
| − | | \ \ |
| |
| − | | \ \ |
| |
| − | | a o o |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | o |
| |
| − | | / |
| |
| − | | / |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< J1. Insert "a" >============o
| |
| − | | |
| |
| − | | a o |
| |
| − | | \ |
| |
| − | | \ |
| |
| − | | o o a |
| |
| − | | \ \ |
| |
| − | | \ \ |
| |
| − | | a o o a |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | o |
| |
| − | | / |
| |
| − | | / |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< J2. Collect "a" >===========o
| |
| − | | |
| |
| − | | a o |
| |
| − | | \ |
| |
| − | | \ |
| |
| − | | o o a |
| |
| − | | \ \ |
| |
| − | | \ \ |
| |
| − | | o o |
| |
| − | | \ / |
| |
| − | | \ / |
| |
| − | | o |
| |
| − | | / |
| |
| − | | / | | |
| − | | a @ |
| |
| − | | |
| |
| − | o=============================< J1. Delete "((a))" >========o
| |
| − | | |
| |
| − | | o |
| |
| − | | \ |
| |
| − | | \ |
| |
| − | | o |
| |
| − | | / |
| |
| − | | / |
| |
| − | | a @ |
| |
| − | | | | |
| − | o=============================< I2. Refold "(())" >=========o
| |
| − | | |
| |
| − | | a |
| |
| − | | @ |
| |
| − | | | | |
| − | o=============================< QED >=======================o
| |
| − | </pre>
| |
| | | | |
| | ====C<sub>2</sub>. Generation theorem==== | | ====C<sub>2</sub>. Generation theorem==== |
