一阶谓词演算

_

first order predicate calculus; first-order predicate calculus