This is an interactive website to help you learn how to write a logic proof. You should try to write 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. You can see that most of the proof is missing, as are the rules used in the proof. Click on the empty boxes to reveal the steps.

But before you click, try to write the proof yourself and figure out what will appear! Keep in mind that there may be other valid proofs, and your work does not have to match up line-by-line with what you find on this page.

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

\(1.\ E\cdot (F\vee G)\)
\(2.\ (E\cdot G)\rightarrow \sim(H\vee I)\)
\(3.\ (\sim H \vee \sim I)\rightarrow \sim(E\cdot F)\) \(\therefore H\equiv I\)
\(4.\ (E\cdot G)\rightarrow (\sim H\cdot \sim I)\) 2 DeM
\(5.\ \sim (H \cdot I)\rightarrow \sim(E\cdot F)\) 3 Dem
\(6.\ (E\cdot F)\rightarrow (H\cdot I) \) 5 Trans
\(7.\ ((E\cdot F)\rightarrow (H\cdot I))\cdot ( (E\cdot G)\rightarrow (\sim H\cdot \sim I))\) 6, 4 Conj
\(8.\ (E\cdot F)\vee (E\cdot G)\) 1 Dist
\(9.\ (H\cdot I)\vee (\sim H \cdot \sim I) \) 7, 8 CD
\(10.\ H\equiv I\) 9 Equiv