predicate calculus謂詞演算學術名詞謂詞演算：數學述詞演算：資訊英文釋義a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)