From Glottopedia
Revision as of 07:12, 17 August 2014 by NBlöcher (talk | contribs) (Edited the format and removed the block {{format}})
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


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.



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