Learn how to write mathematical proofs
DC Proof 2.0 makes it easier than ever...

                                                                        Screen Shot (reduced in size)

                               Invoking the Conclusion Rule
simply point and click to obtain the result on line 3

Video Demonstration

 
                                                                                      (No audio)

Top