Tautology

From Glottopedia
Jump to: navigation, search

Definition

Tautology is a sentence which is always true, not due to its word meanings but to its logical form. A tautology is also called a logical truth or a necessary truth. A sentence of propositional logic is a tautology when it is true for every possible assignment of truth values to the propositional letters of that sentence. The formula p v Neg p is a tautology of propositional logic. A sentence of predicate logic is a tautology when it is true for every possible denotation of the variables and individual and predicate constants that it contains. The formula All(x) [ P(x) v Neg P(x) ] is a tautology of predicate logic.

Links

References

  • Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
STUB
CAT This article needs proper categorization. You can help Glottopedia by categorizing it
Please do not remove this block until the problem is fixed.