# Category:Tautology

Jump to navigation
Jump to search

This category contains results about **tautology in the context of propositional logic**.

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.

## Subcategories

This category has the following 10 subcategories, out of 10 total.

### B

- Biconditional with Tautology (3 P)

### C

- Conjunction with Tautology (3 P)

### D

- Disjunction with Tautology (3 P)

### E

- Examples of Tautologies (3 P)
- Exclusive Or with Tautology (3 P)

### L

### T

- Tautological Antecedent (3 P)
- Tautological Consequent (3 P)

## Pages in category "Tautology"

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