This category contains results about tautology in the context of propositional logic.
It is epitomised by the form:
- $p \implies p$
An example of a "relevant circumstance" here is the truth value of $p$.
The archetypal tautology is symbolised by $\top$, and referred to as Top.
This category has the following 9 subcategories, out of 9 total.
- ► Biconditional with Tautology (3 P)
- ► Disjunction with Tautology (3 P)
- ► Exclusive Or with Tautology (3 P)
- ► Law of Excluded Middle (138 P)
Pages in category "Tautology"
The following 12 pages are in this category, out of 12 total.