truth-functional logic
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.
Noun
truth-functional logic (uncountable)
- 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.
- 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 of truth-functional logic
- propositional logic
- sentential logic
- statement logic
- Boolean logic
Antonyms
Questions about truth-functional logic
- What does truth-functional logic mean?
- Truth-functional logic means 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.
- What part of speech is truth-functional logic?
- Truth-functional logic is a noun.
Words near truth-functional logic in the dictionary
Source and license
Adapted from Wiktionary: truth-functional logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “truth-functional logic.” Word.ws, https://word.ws/truth-functional_logic. Based on Wiktionary, CC BY-SA 4.0.