You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

8 lines
168 B

  1. \begin{logicproof}{0}
  2. p & \prem \\
  3. p \imp q & \prem \\
  4. p \imp (q \imp r) & \prem \\
  5. q \imp r & $\impe1,3$\\
  6. q & $\impe 1,2$ \\
  7. r & $\impe 4,5$
  8. \end{logicproof}