Difference between revisions of "Tautology"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format and removed the block {{format}}) |
||
Line 1: | Line 1: | ||
+ | ==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 value]]s 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. | '''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 value]]s 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 == | |
− | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Tautology&lemmacode=140 Utrecht Lexicon of Linguistics] | |
− | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Tautology&lemmacode=140 Utrecht Lexicon of Linguistics] | ||
− | |||
− | |||
+ | == References == | ||
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | ||
Line 12: | Line 11: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
− | {{stub}}{{cats | + | {{stub}}{{cats}} |
Latest revision as of 07:12, 17 August 2014
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. |