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