Help with Conditional Proof

Logical System


Conditional Proof

This video shows the techniques for Conditional Proof using the downloadable application Deriver. But the techniques are exactly the same for the Proof applet running in a web page. So, the video may look slightly different to what you are looking at, but the underlying principles and approach are the same.