12,089
edits
Changes
→C<sub>1</sub>. Double negation theorem: ASCII → JPEG
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="4" cellspacing="0"
| [[Image:Logical_Graph_Figure_25.jpg]] || (25)
|}
| / |
| |
| |
====C<sub>2</sub>. Generation theorem====
====C<sub>2</sub>. Generation theorem====