Yahoo香港字典 搜尋

搜尋結果

1. Oxford Dictionary

   predicate calculus

   • n.
     the branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.

   • noun: predicate calculus