propositional logic

Noun

Meaning

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

Source: WordNet

Synonyms

propositional calculus formal logic FOL fuzzy logic predicate calculus epistemic logic deontic logic classical logic intuitionistic logic linear logic predicate logic computational logic first-order logic constructive logic intensional logic
Show all synonyms

Hypernyms

formal logic mathematical logic symbolic logic

Close letter words and terms

propositional constant propositional expression propositional function propositional operator propositional sign propositional symbol