Deducción natural/Falacias

Nombre de la falacia	Formalización	Cálculo de secuentes
Afirmación del consecuente	$\begin{array}{c}p\to q\\ q\\ p\end{array}$	$(p\to q)\wedge q\to p$
Negación del antecedente	$\begin{array}{c}p\to q\\ \mathrm{\neg }p\\ \mathrm{\neg }q\end{array}$	$(p\to q)\wedge \mathrm{\neg }p\to \mathrm{\neg }q$
Falso silogismo disyuntivo	$\begin{array}{c}p\vee q\\ p\\ \mathrm{\neg }q\end{array}$	$(p\vee q)\wedge p\to \mathrm{\neg }q$