第二章一阶谓词逻辑-Read.PDF

第二章 一阶谓词逻辑 一阶谓词逻辑在计算机科学中有着广泛的应用,它不仅是 程序设计理论、程序逻辑研究的重要基础,而且还是程序正确性 证明、定理机器证明和知识表示技术的有力工具。一阶谓词逻 辑和命题逻辑也是研究其它逻辑系统的内核和基础,其它逻辑 系统都可看作是它们的扩充和推广。 在命题逻辑中原子命题是研究问题的基本概念,原子命题 是构筑命题逻辑的基本单位。原子命题具有怎样的内部结构或 逻辑形式我们并未分析。其实,讨论一类各命题之间的逻辑关系 并不简单地体现在原子命题之间而往往体现在构成原子命题的 内部成分之间,体现在命题结构更深的层次之上。从后文的一个 例子我们将看到,尽管在命题逻辑中研究了命题间的有效推理, 但是一些常见的推理却不能得到表达。 运用命题逻辑的知识，我们能完成下述推理： 若厂方拒绝增加工资(P) ，则罢工不会停止( ¬Q) ，除非罢 工超过一年(S)且工厂经理辞职(R) 。如果厂方拒绝增加工资而罢 工又持续不久( ¬S) ，问在这种情况下罢工能否停止(Q ？ ¬Q ？) 。 H1：(P ∧¬(S ∧R))→¬Q H2 ：P H3 ：¬S C ： Q ？¬Q ？ 形式方法论证: G1：¬S P规则,引入H3 G ¬ ¬ ： R ∨ S T规则，对G 附加 2 1 G ：¬(R ∧S) T规则，对G 反演 3 2 G4 ：P P规则，引入H2 - 65 - G ：P ∧¬(R ∧S) T规则，对G ,G 合成 5 4 3 G6 ：(P ∧¬(R ∧S))→¬Q P规则，引入H1 G ：¬Q T规则，对G ,G 假言推理 7 5 6 但在命题逻辑中我们无法完成下述推理： 凡人皆有死(P)，苏格拉底是人(Q)，所以苏格拉底有死(R) 。 H1：P H2 ：Q C ：R ？ 如果 P,Q ⇒R ，那末 P ∧Q→R 是重言式，但 P ∧Q→R 不是 重言式，所以 P,Q ⇒R 。 / 这说明了什么呢？ 命题(有真假意义之一的陈述句)作为论证的基础，只能构 筑人们思维论证的一个方面。而象“苏格拉底有死”的论证， 它已无力完成或尚不能支撑。原因在于这种论证的有效性并不 简单依赖于作为前提的命题 P 、Q 与作为结论的命题 R 之间的 逻缉关系，而更依赖于这些命题作为陈述句所包含的陈述句自 身组成部分之间的关系。更清楚一点讲，依赖于论证的前提和 结论的内部结构。“苏格拉底有死”的论证其实是这样的： 所有的 a 是 B( 即命题P) ， c 是 a(即命题 Q)，所以 c 是 B( 即命题R) 。 从中，我们看到了：第一, 前题 “所有的a 是 B ”和“c 是 a ”中 “所有的…”、 “c…”的范围、属性或量形式；第二, 引 入符号 “a, c 及 B ”以表示作为原子命题时不再分解的简单陈述 句自身的主要成分，即我们的分析深入到了陈述句的内部或结 构