Truth table: Difference between revisions
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m utrecht |
Removed the block {{format}} |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
==Definition== | |||
'''Truth table''' is the device by which the [[truth condition]]s of a complex [[propositional formula]] can be represented. By means of truth tables it is possible to define the [[connective]]s of [[propositional logic]]. See [[conjunction]], [[disjunction]], [[negation]], [[equivalence]] and [[implication]]. | '''Truth table''' is the device by which the [[truth condition]]s of a complex [[propositional formula]] can be represented. By means of truth tables it is possible to define the [[connective]]s of [[propositional logic]]. See [[conjunction]], [[disjunction]], [[negation]], [[equivalence]] and [[implication]]. | ||
== Links == | |||
*[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Truth+table&lemmacode=197 Utrecht Lexicon of Linguistics] | |||
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Truth+table&lemmacode=197 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 08:04, 30 August 2014
Definition
Truth table is the device by which the truth conditions of a complex propositional formula can be represented. By means of truth tables it is possible to define the connectives of propositional logic. See conjunction, disjunction, negation, equivalence and implication.
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. |