一阶谓词逻辑

_

first order predicate logic, predicate logic of first order