Law of Excluded Middle

Proof Rule
The law of (the) excluded middle is a valid deduction sequent in propositional logic.

Also see

 * Principle of Non-Contradiction