ONT Re: Alpha Graph Exercises

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

AGE.  Note 2

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Peirce's Law.  [[p => q] => p] => p

      p    q
      o----o
      |
      |    p
      o----o
      |
      |    p
      o----o
      |
      |
      @

the weed and seed rule begets this:

      p    q
      o----o
      |
      |
      o
      |
      |    p
      o----o
      |
      |
      @

double negation begets this:

   q     p
   o     o
    \   /
     \ /
    p o
      |
      |
      @

weed and seed again gives this:

   q
   o     o
    \   /
     \ /
      o
      |
      |
      @

the dominance rule gives this:

      o
      |
      |
      o
      |
      |
      @

the cancellation rule gives this:

      @

qed, peirce's theorem.

jon awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o