7.1.2 Eliminació de fals

Una regla molt divertida:

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

Explicació: si hem arribat a la conclusió de que $\square$ és cert, llavors ja hem arribat a l'extrem en què podem inventar-nos qualsevol cosa i dir que és certa; al menys, tan certa com que $\square$ (fals) és cert.

A aquesta regla li diuen ex falso quodlibet sequitur, que deu voler dir ``de fals pot sortir qualsevol cosa''.