7.1.2 Forigo de falso

Iu amuzanta:

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

Klarigo: se oni atingis la konkludon ke $\square$ estas certa, oni jam atingis situacion kie oni povas elpensi ion ajn kaj aserti ke ĝi estas certa; almenaŭ tiom certa kiom la certeco de $\square$ (falso).

Al tiu regulo oni nomas ex falso quodlibet sequitur, kaj tio signifas ke ``el falso oni povas eltrovi ion ajn''.