Tautology (logic)

Everything that is a proposition of logic has got to be in some sense or the other like a tautology. It has got to be something that has some peculiar quality, which I do not know how to define, that belongs to logical propositions but not to others.

Here, logical proposition refers to a proposition that is provable using the laws of logic.

Many logicians in the early 20th century used the term 'tautology' for any formula that is universally valid, whether a formula of

Modern textbooks more commonly restrict the use of 'tautology' to valid sentences of propositional logic, or valid sentences of predicate logic that can be reduced to propositional tautologies by substitution. [6] ^[7]

Propositional logic begins with propositional variables, atomic units that represent concrete propositions. A formula consists of propositional variables connected by logical connectives, built up in such a way that the truth of the overall formula can be deduced from the truth or falsity of each variable. A valuation is a function that assigns each propositional variable to either T (for truth) or F (for falsity). So by using the propositional variables A and B, the binary connectives ${\displaystyle \lor }$ and ${\displaystyle \land }$ representing disjunction and conjunction respectively, and the unary connective ${\displaystyle \lnot }$ representing negation, the following formula can be obtained:${\displaystyle (A\land B)\lor (\lnot A)\lor (\lnot B)}$.

A valuation here must assign to each of A and B either T or F. But no matter how this assignment is made, the overall formula will come out true. For if the first disjunct ${\displaystyle (A\land B)}$ is not satisfied by a particular valuation, then A or B must be assigned F, which will make one of the following disjunct to be assigned T. In natural language, either both A and B are true or at least one of them is false.

A formula of propositional logic is a tautology if the formula itself is always true, regardless of which valuation is used for the propositional variables. There are infinitely many tautologies.

In many of the following examples A represents the statement "object X is bound", B represents "object X is a book", and C represents "object X is on the shelf". Without a specific referent object X, ${\displaystyle A\to B}$ corresponds to the proposition "all bound things are books".

• ${\displaystyle (A\lor \lnot A)}$ ("A or not A"), the law of excluded middle. This formula has only one propositional variable, A. Any valuation for this formula must, by definition, assign A one of the truth values true or false, and assign ${\displaystyle \lnot }$A the other truth value. For instance, "The cat is black or the cat is not black".
• ${\displaystyle (A\to B)\Leftrightarrow (\lnot B\to \lnot A)}$ ("if A implies B, then not-B implies not-A", and vice versa), which expresses the law of contraposition. For instance, "If it's bound, it is a book; if it's not a book, it's not bound" and vice versa.
• ${\displaystyle ((\lnot A\to B)\land (\lnot A\to \lnot B))\to A}$ ("if not-A implies both B and its negation not-B, then not-A must be false, then A must be true"), which is the principle known as reductio ad absurdum. For instance, "If it's not bound, we know it's a book, if it's not bound, we know it's also not a book, so it is bound".
• ${\displaystyle \lnot (A\land B)\Leftrightarrow (\lnot A\lor \lnot B)}$ ("if not both A and B, then not-A or not-B", and vice versa), which is known as
  De Morgan's law
  . "If it is not both a book and bound, then we are sure that it's not a book or that it's not bound" and vice versa.
• ${\displaystyle ((A\to B)\land (B\to C))\to (A\to C)}$ ("if A implies B and B implies C, then A implies C"), which is the principle known as hypothetical syllogism. "If it's bound, then it's a book and if it's a book, then it's on that shelf, so if it's bound, it's on that shelf".
• ${\displaystyle ((A\lor B)\land (A\to C)\land (B\to C))\to C}$ ("if at least one of A or B is true, and each implies C, then C must be true as well"), which is the principle known as
  proof by cases
  . "Bound things and books are on that shelf. If it's either a book or it's blue, it's on that shelf".

A minimal tautology is a tautology that is not the instance of a shorter tautology.

• ${\displaystyle (A\lor B)\to (A\lor B)}$ is a tautology, but not a minimal one, because it is an instantiation of ${\displaystyle C\to C}$.

The problem of determining whether a formula is a tautology is fundamental in propositional logic. If there are n variables occurring in a formula then there are 2ⁿ distinct valuations for the formula. Therefore, the task of determining whether or not the formula is a tautology is a finite and mechanical one: one needs only to evaluate the truth value of the formula under each of its possible valuations. One algorithmic method for verifying that every valuation makes the formula to be true is to make a truth table that includes every possible valuation.^[2]

For example, consider the formula

${\displaystyle ((A\land B)\to C)\Leftrightarrow (A\to (B\to C)).}$

There are 8 possible valuations for the propositional variables A, B, C, represented by the first three columns of the following table. The remaining columns show the truth of subformulas of the formula above, culminating in a column showing the truth value of the original formula under each valuation.

⁠${\displaystyle A}$⁠	⁠${\displaystyle B}$⁠	⁠${\displaystyle C}$⁠	${\displaystyle A\land B}$	${\displaystyle (A\land B)\to C}$	${\displaystyle B\to C}$	${\displaystyle A\to (B\to C)}$	${\displaystyle ((A\land B)\to C)\Leftrightarrow (A\to (B\to C))}$
T	T	T	T	T	T	T	T
T	T	F	T	F	F	F	T
T	F	T	F	T	T	T	T
T	F	F	F	T	T	T	T
F	T	T	F	T	T	T	T
F	T	F	F	T	F	T	T
F	F	T	F	T	T	T	T
F	F	F	F	T	T	T	T

Because each row of the final column shows T, the sentence in question is verified to be a tautology.

It is also possible to define a

A formula R is said to tautologically imply a formula S if every valuation that causes R to be true also causes S to be true. This situation is denoted ${\displaystyle R\models S}$. It is equivalent to the formula ${\displaystyle R\to S}$ being a tautology (Kleene 1967 p. 27).

For example, let ${\displaystyle S}$ be ${\displaystyle A\land (B\lor \lnot B)}$. Then ${\displaystyle S}$ is not a tautology, because any valuation that makes ${\displaystyle A}$ false will make ${\displaystyle S}$ false. But any valuation that makes ${\displaystyle A}$ true will make ${\displaystyle S}$ true, because ${\displaystyle B\lor \lnot B}$ is a tautology. Let ${\displaystyle R}$ be the formula ${\displaystyle A\land C}$. Then ${\displaystyle R\models S}$, because any valuation satisfying ${\displaystyle R}$ will make ${\displaystyle A}$ true—and thus makes ${\displaystyle S}$ true.

It follows from the definition that if a formula ${\displaystyle R}$ is a contradiction, then ${\displaystyle R}$ tautologically implies every formula, because there is no truth valuation that causes ${\displaystyle R}$ to be true, and so the definition of tautological implication is trivially satisfied. Similarly, if ${\displaystyle S}$ is a tautology, then ${\displaystyle S}$ is tautologically implied by every formula.

There is a general procedure, the substitution rule, that allows additional tautologies to be constructed from a given tautology (Kleene 1967 sec. 3). Suppose that S is a tautology and for each propositional variable A in S a fixed sentence S_A is chosen. Then the sentence obtained by replacing each variable A in S with the corresponding sentence S_A is also a tautology.

For example, let S be the tautology:

${\displaystyle (A\land B)\lor \lnot A\lor \lnot B}$.

Let S_A be ${\displaystyle C\lor D}$ and let S_B be ${\displaystyle C\to E}$.

It follows from the substitution rule that the sentence:

${\displaystyle ((C\lor D)\land (C\to E))\lor \lnot (C\lor D)\lor \lnot (C\to E)}$

is also a tautology.

An axiomatic system is complete if every tautology is a theorem (derivable from axioms). An axiomatic system is sound if every theorem is a tautology.

The problem of constructing practical algorithms to determine whether sentences with large numbers of propositional variables are tautologies is an area of contemporary research in the area of automated theorem proving.

The method of

As an

The problem of determining whether there is any valuation that makes a formula true is the Boolean satisfiability problem; the problem of checking tautologies is equivalent to this problem, because verifying that a sentence S is a tautology is equivalent to verifying that there is no valuation satisfying ${\displaystyle \lnot S}$. The Boolean satisfiability problem is

The fundamental definition of a tautology is in the context of propositional logic. The definition can be extended, however, to sentences in first-order logic.^[9] These sentences may contain quantifiers, unlike sentences of propositional logic. In the context of first-order logic, a distinction is maintained between logical validities, sentences that are true in every model, and tautologies (or, tautological validities), which are a proper subset of the first-order logical validities. In the context of propositional logic, these two terms coincide.

A tautology in first-order logic is a sentence that can be obtained by taking a tautology of propositional logic and uniformly replacing each propositional variable by a first-order formula (one formula per propositional variable). For example, because ${\displaystyle A\lor \lnot A}$ is a tautology of propositional logic, ${\displaystyle (\forall x(x=x))\lor (\lnot \forall x(x=x))}$ is a tautology in first order logic. Similarly, in a first-order language with a unary relation symbols R,S,T, the following sentence is a tautology:

${\displaystyle (((\exists xRx)\land \lnot (\exists xSx))\to \forall xTx)\Leftrightarrow ((\exists xRx)\to ((\lnot \exists xSx)\to \forall xTx)).}$

It is obtained by replacing ${\displaystyle A}$ with ${\displaystyle \exists xRx}$, ${\displaystyle B}$ with ${\displaystyle \lnot \exists xSx}$, and ${\displaystyle C}$ with ${\displaystyle \forall xTx}$ in the propositional tautology: ${\displaystyle ((A\land B)\to C)\Leftrightarrow (A\to (B\to C))}$.

Not all logical validities are tautologies in first-order logic. For example, the sentence:

${\displaystyle (\forall xRx)\to \lnot \exists x\lnot Rx}$

is true in any first-order interpretation, but it corresponds to the propositional sentence ${\displaystyle A\to B}$ which is not a tautology of propositional logic.

Whether a given formula is a tautology depends on the formal system of logic that is in use. For example, the following formula is a tautology of classical logic but not of intuitionistic logic:

${\displaystyle \neg \neg A\to A}$

• Algebraic normal form
• Conjunctive normal form
• Disjunctive normal form
• Logic optimization