predicate calculus Syllabification: (pred·i·cate cal·cu·lus)Pronunciation: /ˈpredəkət/Definition of predicate calculus noun the branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers. predicate calculus in other Oxford dictionaries Definition of predicate calculus in the British & World English dictionary
