Principe de L'Explosion

Règle de la logique classique (ex falso quodlibet) affirmant que dès qu'une contradiction est admise dans un système déductif (à la fois P et ¬P), n'importe quelle proposition peut en être déduite valablement.

Le principe d'inférence, ex contradictione quodlibet, selon lequel dès qu'une contradiction (P et ¬P) est présente dans un système déductif, n'importe quelle proposition Q peut être déduite ; les contradictions entraînent la trivialité logique dans les relations de conséquence classiques.