Truth function: Difference between revisions

Revision as of 06:27, 9 September 2019

Revision as of 00:10, 26 July 2020

Line 1:

<!-- :''"Truth functional" redirects here. For the truth functional conditional, see [[Material conditional]].''

IMHO by no means the material conditional may not be referred to or abbreviated as the adjective "truth functional", omitting a noun like "conditional" or "implication". Seems more like an internal link spamming rather than an appropriate dab hatnote. --Incnis Mrsi -->

In [[logic]], a '''truth function'''<ref>Roy T. Cook (2009). ''A Dictionary of Philosophical Logic'', p. 294: Truth Function. Edinburgh University Press.</ref> is a [[function (mathematics)|function]] that accepts [[truth value]]s as input and produces a truth value as output, i.e., the input and output are all truth values. The typical example is in [[Propositional calculus|propositional logic]], wherein a compound statement is constructed byusing one or twoindividual statements connected by a [[logical connective]]s; if the truth value of the compound statement is entirely determined by the truth value(s) of the constituent statement(s), the compound statement is called a '''truth function''', and theany logical connectiveconnectives isused are said to be '''truth functional'''.<ref>Roy T. Cook (2009). ''A Dictionary of Philosophical Logic'', p. 295: Truth Functional. Edinburgh University Press.</ref>

[[Classical logic|Classical propositional logic]] is a '''truth-functional propositional logic''',<ref>[http://www.iep.utm.edu/prop-log/ Internet Encyclopedia of Philosophy: Propositional Logic], by Kevin C. Klement</ref> in that every statement has exactly one truth value which is either true or false, and every logical connective is truth functional (with a correspondent [[truth table]]), thus every compound statement is a truth function.<ref>Roy T. Cook (2009). ''A Dictionary of Philosophical Logic'', p. 47: Classical Logic. Edinburgh University Press.</ref> On the contrary, [[modal logic]] is non-truth-functional.