Changes

|}

|}

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==