This is an interactive website to help you learn how to write a logic proof. You should try to fill in the rules in the proof yourself, and use the information on this webpage to check your work or to get a hint if you need one.

You will write similar proofs in your homework. Click on the empty boxes to reveal the steps.

But * before you click*, try to fill in the box yourself and figure out what will appear!

If you wish to make the text disappear again, refresh the page.

\(1.\ S\rightarrow T \) | |

\(2.\ \sim T \) | |

\(3.\ (\sim S\vee U)\rightarrow R \) | |

\(4.\ R\rightarrow (P\cdot \sim Q)\) | \( / \therefore P\vee Q\) |

\(5.\ \sim S\) | |

\(6.\ \sim S \vee U\) | |

\(7.\ R\) | |

\(8.\ P \cdot \sim Q\) | |

\(9.\ P\) | |

\(10.\ P\vee Q\) |