PREDICATE CALCULUS

IPA (US):

 Dictionary entry overview: What does predicate calculus mean? 

• PREDICATE CALCULUS (noun)
  The noun PREDICATE CALCULUS has 1 sense:

1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

  Familiarity information: PREDICATE CALCULUS used as a noun is very rare.

 Dictionary entry details 

• PREDICATE CALCULUS (noun)

Sense 1

Meaning:

A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Classified under:

Nouns denoting cognitive processes and contents

Synonyms:

functional calculus; predicate calculus

Hypernyms ("predicate calculus" 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)

Meronyms (parts of "predicate calculus"):

quantification (a limitation imposed on the variables of a proposition (as by the quantifiers 'some' or 'all' or 'no'))