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.