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

Free Download

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