truth-functional logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences 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
- Antonyms
- predicate logic, quantificational logic, modal logic
- Related terms
- truth table, truth function, logical connective