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.
 
 

10 lines
203 B

\begin{logicproof}{1}
\neg p \imp \lnot q & \prem \\
q & \prem\\
\begin{subproof}
\lnot p & \assum \\
\lnot q & $\impe 3,1$\\
\bot & $\nege 2,4$
\end{subproof}
p & $\PBC 3-5$
\end{logicproof}