西安电子科技大学$2.6.1谓词逻辑推理证明方法软件学院家家家【例题】符号化以下语句，并推证结论的有效性，“每个人都是要死的，苏格拉底是人，所以苏格拉底是要死的。解答：设论域为全总个体域，M(x)：x是人，D(x)：x是要死的，a：苏格拉底。现要证明以下永真式：(x)(M(x)-D(x) AM(a)→D(a)P(1) M(a)P(2) (Vx(M(x)-D(x)(3) M(a)D(a)T (2) US(4) D(a)T(1)(3)I西安电子科技大学 §2.6.1 谓词逻辑推理证明方法 软件学院