7.1.2 Eliminación de falso

Una regla muy divertida:

$$\begin{fitch*} \par n & \square \\ \par \hline \par & A & E$\square$\ n \par \end{fitch*}$$

Explicación: si hemos llegado a la conclusión de que $\square$ es cierto, entonces ya hemos llegado al extremo en el que podemos inventarnos lo que queramos y decir que es cierto; al menos tan cierto como que $\square$ (falso) es cierto.

A esta regla le llaman ex falso quodlibet sequitur, algo como ``de falso puede salir cualquier cosa''.