This category contains results about tautology in the context of propositional logic.
It is epitomised by the statement 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 10 subcategories, out of 10 total.
- Biconditional with Tautology (3 P)
- Disjunction with Tautology (3 P)
- Law of Excluded Middle (139 P)
Pages in category "Tautology"
The following 12 pages are in this category, out of 12 total.