In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the theorem 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.
In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the theorem 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.
Source: Wikipedia "Principle of explosion" · CC BY-SA 4.0
Share this article: X · Bluesky