Learn how to write proofs

• 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 solutions

Last updated 2022-06-23

Screen Shot: Invoking the Conclusion Rule─simply point and click to obtain the result on line 3.