PREDICATE CALCULUS

 I. (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)

Synonyms:

functional calculus; predicate calculus

Classified under:

Nouns denoting cognitive processes and contents

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'))

Credits