# Category:Examples of Tautologies

Jump to navigation
Jump to search

This category contains examples of Tautology.

A **tautology** is a statement which is *always true*, independently of any relevant circumstances that could theoretically influence its truth value.

It is epitomised by the statement form:

- $p \implies p$

that is:

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.

## Pages in category "Examples of Tautologies"

The following 3 pages are in this category, out of 3 total.