Rule of Explosion/Proof Rule/Tableau Form
Jump to navigation
Jump to search
Proof Rule
Let $\phi$ be a well-formed formula.
The Rule of Explosion is invoked in the following manner:
| Pool: | The pooled assumptions of the occurrence of $\bot$ | ||||||||
| Formula: | $\phi$ | ||||||||
| Description: | Rule of Explosion | ||||||||
| Depends on: | The line containing the occurrence of $\bot$ | ||||||||
| Abbreviation: | $\bot \EE$ |