第六讲量化逻辑(NXPowerLite).pptVIP

* * 违反量词推理规则的应用举例 下面是错误运用?+的推理： 在包括运算符“+”的一阶语言L中，进行如下推理： （1）?ｘ?ｙⅠ（ｘ＋ｙ）ｙ A1 （2）?ｙⅠ（α＋ｙ）ｙ α，（1），?_ （3）?ｙ?ｙⅠ（ｙ＋ｙ）ｙ （2），?+ 构造一个模型μ，使得D是实数，谓词Ⅰ解释成“＝”，那么（1）的解释是真的。（3）的解释是假的。原因是对（2）错误地运用了?+，（2）中不受?ｙ约束的α，代换后被?ｙ约束。 * * 关于量词推理的应用 所有马（Dx）是动物（Ｅx），因此，所有马头(Hxy)是动物头。 前提的形式是：?ｘ(Ｄx→Ex)。 结论的形式是:?x(?y(Dy∧Hxy)→?y(Ey∧Hxy))。 (1) ?x(Dx→Ex) A1 (2) ?y(Dy∧Hxy） ｘ，H (3) D?∧Hx? ｘ，?x，(2)，?_ (4) D?→E? (1)，?_ (5)E?x∧H?x ｘ,?x,(4),∧_,→_,∧+ (6)?y(Ey∧Hxy) ｘ，(5)，?+ (7)?y(Dy∧Hxy)→?y(Ey