第三讲 谓词逻辑.pptVIP

在谓词逻辑形式证明中，或者要断定主词存 在，即增加一“主词存在”的前提 （ 2 ′ ）鸡蛋是椭圆的， 鸡蛋是可以吃的， 鸡蛋是存在的 所以，有些可以吃的是椭圆的。 ? x(Mx ? Px) ? x(Mx ? Sx) ? xMx ?? x(Sx ? Px) § 3.4.1 “引进主词假设”规则 （ 1 ′ ）所有的乌托邦人都是空想主义者； 假设某某是乌托邦人； 所以，有的乌托邦人是空想主义者。 或者是假设 “ 主词存在”，需引进一个假设 x ，即 假定有某事物 x 是主词所表示的事物。（假设的 x 在前面行中可以出现。） ? x(Sx ? Px) P Sx x ，引进假设 ?? x(Sx ? Px) § 3.4.1 “引进主词假设”规则 “ 引进主词假设”规则引入的假设，个体变 项都是自由的，意思是说，假定某个体是 F ，这 样的 x 是不确定的个体，只是暂时假定它是 F ，所 以，需对它加带标记。 Fx x ，引进假设 凡是加标记的行称为“加标的行”。凡依据 加标的行得到的行也是加标的行。对加标的行的 带标记的个体变项不能施全称引入规则，只能施 存在引入规则。 § 3.4.1 “引进主词假设”规则 如果某类中的每个个体都具有某性质 （ ? xAx ），那么，任意取这个类中某个个体 ? ， 则 ? 就具有该性质。 这条规则称为全称消去规则，简写为 ? - 。 ? xAx 前提 ? A ? ? - 这条规则是从真的全称命题推出它的任一 真的替代实例（单称命题），所以，又叫做全 称例示规则（ Universal Instantiation ）。 § 3.4.2 全称量词规则 - 全称消去 ? 可以是一个确定的个体，也可以是不确定 的个体。 ? x(Fx ? Gx) Fa ? Ga Fx ? Gx Fy ? Gy F ? ? G ? 所有人是有理性的。 孔子是有理性的。 张三是有理性的。 某某人是有理性的。 § 3.4.2 全称量词规则 - 全称消去 第一 ，一个全称量词可以被销去，这一全 称量词必须在整个量化式的最前端，否则无效。 ?? xFx 前提 ?? Fa ? - （误用） 并非一切都是美好的 所以，并非西湖是美好的。 注意！ § 3.4.2 全称量词规则 - 全称消去 第二 ，全称量词的辖域必须达到整个量化 式的最末端，否则无效。 ? x(Sx ? Px) ? Pa 前提 ? (Sb ? Pb) ? Pa ? - （误用） 令： Sx ： x 是人； Px ： x 是电影导演； a ：姚明； b ：张艺谋 如果所有人是电影导演，那么姚明是电影导演。 所以，如果张艺谋是电影导演，那么姚明是电 影导演。 § 3.4.2 全称量词规则 - 全称消去 第三 ，销去全称量词，并作变项替代时， 不能改变原公式中量词的约束关系。 ? x ? y(x ≠ y) 前提 ? ? y(y≠y) ? - （误用） 任一对象都存在着与它不同的另一对象。 所以，存在着不同于自身的对象。 § 3.4.2 全称量词规则 - 全称消去 所有动物都要进行新陈代谢； 罗素是动物； 所以，罗素要进行新陈代谢。 令： Fx ： x 是动物； Gx ： x 要进行新陈代谢； a ：罗素。 （ 1 ） ? x(Fx ? Gx) P （ 2 ） Fa P / ? Ga （ 3 ） Fa ? Ga （ 1 ）