propositional calculus

Noun
  1. A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them (synset 106174863)
    is a type 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
    same as: propositional logic

Other Searches