Changes

===Example===

===Example===

Some of the jobs that the CAST can be usefully put to work on are proving propositional theorems and establishing equations between propositions.  Once again, let us turn to the example of Leibniz's ''Praeclarum Theorema'' as a way of illustrating how.

Some of the jobs that the CAST can be put to work on are proving propositional theorems and establishing equations between propositions.  Once again, let us turn to the example of Leibniz's ''Praeclarum Theorema'' as a way of illustrating how.

{| align="center" cellpadding="8"

{| align="center" cellpadding="8"

|}

|}

That is tantamount to saying that the proposition being submitted for analysis is true in each case.  Ergo we are justly entitled to title it a ''Theorem''.

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''.

==Logic as sign transformation==

==Logic as sign transformation==