7.1.2 Eliminación de falso

Una regla muy divertida:


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

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''.



Daniel Clemente Laboreo 2005-05-17