PROPOSITIONAL LOGIC

Pronunciation (US):

(GB):

 I. (noun) 

Sense 1

Meaning:

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

Synonyms:

propositional calculus; propositional logic

Classified under:

Nouns denoting cognitive processes and contents

Hypernyms ("propositional logic" is a kind of...):

formal logic; mathematical logic; symbolic logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)

Credits