12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 01:30, 21 March 2010
, 01:30, 21 March 2010→Example
|}
|}
===Example===
===Praeclarum theorema : Proof by CAST====
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.
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.