Prinzip der Explosion

Regel der klassischen Logik (ex falso quodlibet), die besagt, dass, sobald in einem deduktiven System ein Widerspruch zugelassen wird (sowohl P als auch ¬P), jede Proposition daraus gültig abgeleitet werden kann.

Das Inferenzprinzip ex contradictione quodlibet, dass sobald ein Widerspruch (sowohl P als auch ¬P) in einem deduktiven System vorliegt, jede Proposition Q abgeleitet werden kann; Widersprüche führen in klassischen Folgerungsrelationen zur logischen Trivialität.