12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
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.
