西安电子科技大学谓词公式的定义$2.2.1软件学院办（i）谓词演算的原子公式是谓词公式：谓词公式（i）若A和B是谓词公式，则(-A)(AAB),(AVB),(A一B),(A←B)也是谓词公式;（ii）如果A是谓词公式，X是A中出现的个体变元，则（Vx)A（x)A都是谓词公式：（iv）只有限次应用条款（i）（i）（ii）所得的公式才是谓词公式。例如：P(β)P(×) Q(y)(日x) Q(x,y)都是谓词公式(日y)(Vx)(Q(x,y) →R(y))西安电子科技大学 谓词公式的定义 软件学院 谓词公式 §2.2.1 例如： P(x) ( ∃x) Q(x,y) ( ∃y)( ∀x)(Q(x,y) →R(y)) 都是谓词公式 } P(x) ∨ Q(y)