propositional calculus

English Thesaurus

1. a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them (noun.cognition)

hypernym	:	formal logic, mathematical logic, symbolic logic,
definition	:	any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition)