truth-functional logic

noun

The logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure.

Similar
propositional logicsentential logicstatement logicBoolean logic
Opposite
predicate logicquantificational logicmodal logic
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nountruth-functional logic (uncountable)
  1. uncountablehuman sciencesThe logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure.

    Truth-functional logic is concerned exclusively with the compounding of sentences by means of the truth-functional connectives 'not', 'and', 'or', 'if–then', and 'if and only if'.

    1967, Benson Mates, Elementary Logic, Oxford University Press, page 75

    Synonyms: propositional logic, sentential logic, statement logic, Boolean logic

Synonyms & antonyms

nounThe logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure.

Similar
propositional logicsentential logicstatement logicBoolean logic
Opposite
predicate logicquantificational logicmodal logic
Cite this entry
APA

truth-functional logic. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/truth-functional%20logic

MLA

“truth-functional logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/truth-functional%20logic. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “truth-functional logic,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/truth-functional%20logic.

Source: truth-functional logic on Wiktionary, CC BY-SA 4.0.