一阶谓词演算句法

一阶谓词演算句法（syntax of first order predicate calculus），文学-语言文字-计算语言学及语料库语言学-计算语言学-一阶谓词演算，一阶谓词演算需要遵循的句法规则。