|
DC Proof Online - dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises
proof proofs mathematics mathematical math maths logic set theory download software truth table truth tables peano zermelo zfc cantors georg cantor theorem theorems axiom
|
