Lemma: It is true that something can be (either) true or false

If \(x\) is a proposition, then the disjunction \(x\vee \neg x\) is a tautology (i.e. always valid).

Examples:

\(\text{"Socrates is a philosopher or Socrates is not a philosopher"}\) is valid.

\(a=2\vee a \neq 2\) is valid.

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs