Principio de Explosión

Regla de la lógica clásica (ex falso quodlibet) que afirma que una vez que se admite una contradicción en un sistema deductivo (tanto P como ¬P), cualquier proposición puede inferirse válidamente a partir de ella.

El principio de inferencia ex contradictione quodlibet, según el cual una vez que aparece una contradicción (tanto P como ¬P) en un sistema deductivo, cualquier proposición Q puede deducirse; las contradicciones conducen a la trivialidad lógica en relaciones de consecuencia clásicas.