Learn the basic methods of mathematical proof using the DC Proof system
download our free, PC-based software and start writing simple mathematical proofs in minutes
innovative proof-by-pointing interface minimizes keystrokes and errors
each line of proof is verified as you enter it
Free, full-function download includes interactive, self-study tutorial
introduces symbolic logic and the basic methods of proof
includes worked examples, and exercises with hints and full solution
newly expanded to include a simple development of the truth table for the IMPLIES-operator, now a hot topic in math forums (see Ex. 1.3, 1.4, 3.4 and 3.5)
Last updated 2022-09-21
Screen Shot: Invoking the Conclusion Rule─simply point and click to obtain the result on line 3.
Screen Shot: Invoking the Conclusion Rule─simply point and click to obtain the result on line 3.