Learn how to write proofs

DC Proof 2.0 makes it easier than ever

• Learn the basic methods of 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

  

Having difficulty downloading with Norton?
You may have to change this setting.
 

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