# Definition:Tautology

## Definition

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

### Tautologies in Formal Semantics

Let $\mathcal L$ be a logical language.

Let $\mathscr M$ be a formal semantics for $\mathcal L$.

A logical formula $\phi$ of $\mathcal L$ is a **tautology for $\mathscr M$** if and only if:

That $\phi$ is a **tautology for $\mathscr M$** can be denoted as:

- $\models_{\mathscr M} \phi$

## Also known as

**Tautologies** are also referred to as **logical truths**.

## Also see

- Definition:Top (Logic), a symbol often used to represent
**tautologies**in logical languages. - Definition:Contradiction
- Definition:Contingent Statement

## Sources

- 1973: Irving M. Copi:
*Symbolic Logic*(4th ed.) ... (previous) ... (next): $2.4$: Statement Forms - 1980: D.J. O'Connor and Betty Powell:
*Elementary Logic*... (previous) ... (next): $\S \text{I}: 3$: Logical Constants $(2)$