# 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.