Principe d'explosion

Carte Commune · n° 273347

En logique mathématique, le principe d'explosion, souvent nommé, d'après le latin, ex falso quodlibet ou ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou encore principe de Pseudo-Scotus[réf. nécessaire], est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. La logique minimale est essentiellement la logique intuitionniste sans la règle explicite d'ex falso quodlibet. Certaines autres logiques comme les logiques non-monotones, ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment.

Lire sur Wikipédia