13谓词逻辑分析.pptVIP

例2-18证明 证明： （1） （2） （3） （4） （5） （6） （7） （8） （9） （10） P ES(1) T(2)I1 P US(4) T(3)(5)I11 假言推论 T(6)I1 化简公式 T(2)I2 化简公式 T(7)(8)I9 EG (9) 例2-18证明 注意：使用同一个个体进行全称指定和存在指定时，必须先做存在指定，后做全称指定。因为使存在量词辖域中的谓词公式为真个体，在全称指定中肯定为真，反之则不然。 上述述问题若推理如下： 证明： （1） P （2）