VDict - Definition of predicate calculus

English - English (Wordnet) dictionary (also found in Computing (FOLDOC))

predicate calculus

Jump to user comments

Noun

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

Related search result for "predicate calculus"

Words contain "predicate calculus" in its definition in English - English (Wordnet) dictionary:
predicate categorematic verb phrase major premiss immediate constituent major premise major term hypozeugma categorem categoreme more...

Comments and discussion on the word "predicate calculus"