Tuesday, March 4, 2014

A Proof of Self-Proof; 7 of 15




        Some Tables


D  =  not prv D  =  poss not D = poss S  =  poss T  =  not prv F
S  =  not poss S  =  prv not S  =  prv D  =  prv F  =  not poss T
P  =  poss P  =  not prv not P = not prv T  =  poss F  =  F
T  =  prv T =  not poss not T =  not poss P  =  prv T  =  T

X       |         not X           prv X           poss X         not prv X     not poss X
_____|________________________________________________________
T        |         P                  T                  D                 P                  S
D       |          S                  S                  D                 D                 S
S        |         D                 S                  D                 D                 S
P        |         T                  S                  P                  D                 T

         

No comments:

Post a Comment