西安电子科技大学$2.6.1谓词逻辑推理证明方法软件学院【例题】指出下列推理中的错误，并说明理由。前提引入(1) (Vx)(P(x)-Q(x))(1), US(2) P(c)-Q(c)全称指定为个体c前提引入(3) (3x)P(x)(4) P(c)(3),ES存在指定为个体c(5) Q(c)(2), (4), T, I(5), EG(6) (3x)Q(x)西安电子科技大学 §2.6.1 谓词逻辑推理证明方法 软件学院 全称指定为个体c 存在指定为个体c