Category:Tautology is Negation of Contradiction
Jump to navigation
Jump to search
This category contains pages concerning Tautology is Negation of Contradiction:
A tautology implies and is implied by the negation of a contradiction:
- $\top \dashv \vdash \neg \bot$
That is, a truth can not be false, and a non-falsehood must be a truth.
Pages in category "Tautology is Negation of Contradiction"
The following 4 pages are in this category, out of 4 total.