05-L01 谓词逻辑的推理结构.pdfVIP

− 离散数学基础 离散数学基础 2017-11-19 • 定义：谓词逻辑的推理结构 − 设有谓词公式 A 、B，若在令 A  为真的任一解释下，B  亦为真，则说  B  是 A 的逻辑推论，或称推理结构 A ├  B 是正确的（或者有效的），记为 A ⇒ B。  • 例1 ：所有的整数都是有理数，所有的有理数都是实数，所以所有的整数都是实 数。 − 解：设  P(x) ：x  是整数。 Q(x) ：x  是有理数。  R(x) ：x  是实数。  形式化： ①  (∀x)(P(x) →Q(x))  ② (∀x)(Q(x) →R(x)) ③ (∀x)(P(x) →R(x)) 推理结构： ①,  ②  ├  ③  • 例2 ：人总是要死的，苏格拉底是人，所以苏格拉底也是要死的。 − 解：设  P(x) ：x  总是要死的。 Q(x) ：x  是人。 形式化： ①  (∀x)(Q(x) →P(x)) ② Q(苏格拉底) ③ P(苏格拉底) 推理结构： ①,  ②  ├ ③  • 例3 ：有一个人又高又胖，所以必有一个高个子和一个胖子。 − 解：设论域为人的集合 P(x) ：x  是高的。  Q(x) ：x  是胖的。  推理结构： (∃x)(P(x)∧Q(x))  ├  (∃x)P(x)∧(∃x)Q(x)  • 定理：演绎定理 − 设谓词公式 A 、B，如果从 A 应用推理规则得到  B，并且在推出过程中，A  中 的自由变量保持不变，则A→B  是普遍有效的。  − 由于普遍有效性的不可判定性，在谓词逻辑中应用推理规则更为重要。  • 推理定理  − 若干常用的正确的推理形式：  (1) (∀x)P(x)∨(∀x)Q(x) ⇒ (∀x)(P(x)∨Q(x))  (2) (∃x)(P(x)∧Q(x)) ⇒ (∃x)P(x)∧(∃x)Q(x)  (3) (∀x)(P(x)→Q(x)) ⇒ (∀x)P(x)→(∀x)Q(x)  (4) (∀x)(P(x)→Q(x)) ⇒ (∃x)P(x)→(∃x)Q(x)  (5) (∀x)(∀y)P(x, y) ⇒ (∃y)(∀x)P(x, y)  (6) (∃x)(∀y)P(x, y) ⇒ (∀y)(∃x)P(x, y)  (7) (∀x)(∃y)P(x, y) ⇒ (∃x)(∃y)P(x, y)  • 推理定理  − (3) 证：(∀x)(P(x)→Q(x)) ⇒ (∀x)P(x)→(∀x)Q(x)  » 设  (∀x)(P(x)→Q(x))=T  » 当  (∀x)P(x)=T时，对任意 x ，有P(x )=T。  0 0 » 对此 x ，由假设知，P(x )→Q(x )=T  0 0 0 » 故此时只能 Q(x )=T  0 » 从 x0  的任意性得  (∀x )Q(x)=T  » 即  (∀x)P(x)→(∀x)Q(x)=T  » 故上述推理形式是有效的。  • 推理定理  − (5) 证：  (∀x)(∀y)P(x, y) ⇒ (∃y)(∀x)P(x, y)  » 设  (∀x)(∀y)P(x, y)=T  » 即任意的 x  与所有的 y 都有  P(x, y)=T  » 则对任意的 x  与某一固定的 y ，都有  P(x, y )=T