Difference between revisions of "Truth table"

From Glottopedia
Jump to navigation Jump to search
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 ===
+
== 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 ===
 
  
 +
== 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}}{{format}}
+
{{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.