Questionnaire-2024/natural_deduction_propositional_logic/0081_sol.tex

\begin{logicproof}{1}
	p \imp q & \prem \\
	q \imp r & \prem\\
	\begin{subproof}
		p & \assum\\
		q & $\impe 3,1$\\
		r & $\impe 4,2$
	\end{subproof}
	p \imp r & $\impi 3-5$
\end{logicproof}