西安电子科技大学指定规则的使用软件学院【例题】设谓词P(x)：x是要死的，Q(x):是雌性的，x的个体域为全体人的集合。应用指定规则同时消去公式(Vx)P(x）和(日x)Q(x)中的量词。解答：(Vx)P()(日x)Q(x)(1)(1)：P(苏格拉底)Q(居里夫人).(日 x)Q(×)(Vx)P(×)(2)(2)：Q苏格拉底.P(居里夫人)X西安电子科技大学 » 指定规则的使用 软件学院 (∃x)Q(x) ∴ Q(苏格拉底) (∀x)P(x) ∴ P(苏格拉底) 【例题】设谓词P(x): x是要死的，Q(x):是雌性的，x的个体 域为全体人的集合。应用指定规则同时消去公式(∀x)P(x)和 (∃x)Q(x)中的量词。 (∀x)P(x) (∃x)Q(x) ∴ Q(居里夫人) (1) (2) (1) (2) 解答： ∴ P(居里夫人) × √