Learn how to write proofs

DC Proof 2.0 makes it easier than ever

Free Download  
 

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