| / English Dictionary |
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'))
YOU MAY ALSO LIKE
