pure predicate calculus of first order一: one阶: steps; stairs纯: pure; unmixed谓词演算: predicate calculus一阶谓词演算: first-order logic; first-order predicate calculus; fopc下载手机词典可随时随地查词查翻译关注微信公众号：chachacidian，回复:一阶纯谓词演算，即可在微信中查询翻译
