Changes

Line 562: Line 562:  
|}
 
|}
   −
This is tantamount to saying that the proposition being submitted for analysis is true in every case.  Thus we are justified in awarding it the title of a ''Theorem''.
+
That is tantamount to saying that the proposition being submitted for analysis is true in every case.  Thus we are justified in awarding it the title of a ''Theorem''.
    
==Logic as sign transformation==
 
==Logic as sign transformation==
12,080

edits