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.
7 lines
160 B
7 lines
160 B
\begin{logicproof}{0}
|
|
\neg p \imp (q \imp r) & \prem \\
|
|
\neg p & \prem \\
|
|
\lnot r & \prem\\
|
|
q \imp r & $\impe 1,2$\\
|
|
\lnot q & $\MT 4,3$
|
|
\end{logicproof}
|