Principle of explosion
In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the law according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition (including its negation) can be inferred; this is known as deductive explosion.
Principle of explosion - Wikipedia Jump to content From Wikipedia, the free encyclopedia Theorem in formal logic "EFQ" redirects here. For the literary baseball journal, see Elysian Fields Quarterly . "Ex falso quodlibet" redirects here. For the musical form, see Quodlibet . For the audio player and library organizer, see Quod Libet (software) . This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources . Unsourced material may be challenged and removed. Find sources:   "Principle of explosion"  –  news 
Explore this link on the map →saved by
related reading
- Intuitionistic logic - Wikipediaen.wikipedia.org
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Law of excluded middle - Wikipediaen.wikipedia.org
- Logic as algebraspencermortensen.com
- Reductio ad absurdum - Wikipediaen.wikipedia.org
- Open Logic Project Buildsbuilds.openlogicproject.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- First-order logic - Wikipediaen.wikipedia.org
- Liar paradox - Wikipediaen.wikipedia.org
- A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
- Consistency - Wikipediaen.wikipedia.org
- Inconsistent Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu