12,209
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday February 04, 2026
Jump to navigationJump to searchDirectory: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.
