- 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.