Rule of Explosion/Also known as

From ProofWiki
Jump to navigation Jump to search

Proof Rule

The Rule of Explosion is also known as the rule of bottom-elimination.

Those who fancy Latin may like ex falso (sequitur) quodlibet, which literally means from a falsehood (follows) whatever you like.