Rule of Explosion/Sequent Form

Theorem

The Rule of Explosion can be symbolised by the sequent:

$\bot \vdash \phi$


Proof

By the tableau method of natural deduction:

$\bot \vdash \phi$
Line Pool Formula Rule Depends upon Notes
1 1 $\bot$ Premise (None)
2 1 $\phi$ Rule of Explosion: $\bot \EE$ 1

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.