Learn how to write proofs

DC Proof 2.0 makes it easier than ever

Free Download  

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

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