Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

truth-functional logic en · NOUN

Meanings

  1. (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:

Antonyms

modal logic · predicate logic · quantificational logic

Relateds

truth function · logical connective · truth table

Synonyms

sentential logic · Boolean logic · propositional logic · statement logic