西安电子科技大学$2.2.1谓词公式的定义软件学院永家家教茶家教务需要说明的是，要注意条款（ii）的适用条件。例如：由(Vx)P(xy)可以生成(Fy)(Vx)P(x,y)，但不能生成(Vx)(Fy)P(x,y)和(x)(Vx)P(x,y)。西安电子科技大学 §2.2.1 谓词公式的定义 软件学院