A tautology is any statement that is always true, a tautology is usually represented by the symbol . A tautology can also be thought of as the negation of a contradiction.