Back Ex falso quodlibet German Principle of explosion English Principio de explosión Spanish اصل انفجار Persian Hamisból minden következik Hungarian Ex falso sequitur quodlibet Italian Ex falso sequitur quod libet Dutch Princípio de explosão Portuguese Принцип взрыва Russian Ex falso quodlibet Swedish
Cet article est une ébauche concernant la logique et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.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[1]. 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.
- ↑ (en) Carnielli, W. and Marcos, J., « "Ex contradictione non sequitur quodlibet" », Proc. 2nd Conf. on Reasoning and Logic, Bucharest, (lire en ligne)