7.1.2 False elimination

A funny one:

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

Explanation: if we achieved the conclusion that $\square$ is true, then we have already achieved a state where we can invent anything and affirm that it's true; at least, as true as the idea of $\square$ (false) being true.

This rule is called ex falso quodlibet sequitur, something like ``from false can follow anything''.

Daniel Clemente Laboreo 2005-05-17