02谓词逻辑03(证明方法).pptVIP

第一部分 数理逻辑 Mathematical Logic 2.4 推理证明技术 内容：基本蕴涵式规则 直接证明法 间接证明法 反证法 目的：利用上述各种证明法论证任意推理的有效性 2.4一阶逻辑的自然推理系统F 证明技术 直接证明法（direct proof） （A1∧A2∧…∧Ak )→ B 间接证明法（indirect proof） (A1∧A2∧…∧Ak ) →(A → B) ? (A1∧A2∧…∧Ak ∧ A ) → B 反证法（proof by contradiction） （A1∧A2∧…∧Ak ∧? B)→0 基本蕴涵式 (1)化简规则：A?B=A; A?B = B (2)附加规则：A = A?B; B = A?B (3)合取引入规则：A, B = A?B (4)析取三段论规则：A?B, ?B = A (5)假言推理规则：A?B， A = B (6)拒取式规则：A?B, ?B = ?A (7)假言三段论规则：A?B, B?C = A?C (8)二难推理规则： A?C , A?B, C?B = B (9)构造二难推理规则：A?B, C?D, A?C = B?D (10)破坏二难推理规则： A?B, C?D, ?B??D = ?A??C 推理规则集 前提引入规则：在证明的任何步骤上都可以引入前提。 结论引入规则：在证明的任何步骤上所得到的结论都可以作为后继证明的前提。 置换规则：在证明的任何步骤上，命题公式中的子公式都可以用与之等值的公式置换，得到公式序列中的又一个公式。 量词的推理规则 如果命题 ?xP(x)为真，则P(a)为真,a是D中任意元素。 ----全称指定规则(universal specification, US) 如果P(a)为真,a是D中任意元素，则?xP(x)为真。 ----全称引入规则(universal generalization, UG) 如果命题 (?x)P(x) 为真，则存在D中某个元素a，使P(a)为真。 ----存在指定规则(existential specification, ES) 如果存在D中某个元素a，使P(a)为真，则命题 (?x)P(x) 为真。 ----存在引入规则(existential generalization, EG) 一阶逻辑的自然推理系统F 一阶逻辑的自然推理系统F 一阶逻辑的自然推理系统F 3．存在量词引入规则(简称EG规则或EG) 一阶逻辑的自然推理系统F 证明下述推理的有效性 1. 每个整数都是有理数。3是一个整数。因此，3是一个有理数。 证明：设Z(x)：x是整数。Q(x)：x是有理数。 推理形式化为： (?x)(Z(x)→Q (x))，Z(3) ? Q (3) 2.所有的人都是要死的。苏格拉底是人。所以苏格拉底是要死的。 证明：设H(x)：x是人。M(x)：x是要死的。s:苏格拉底。 推理形式化为： (?x)(H(x) →M(x))，H(s) ? M(s) 推理的有效性证明 “每个整数都是有理数。3是一个整数。因此，3是一个有理数。” 解：设Z(x)：x是整数。Q(x)：x是有理数。 则推理形式化为： (?x)(Z(x)→Q (x))，Z(3) ? Q (3) 证明：(1)　 (?x)(Z(x)→Q (x)) 前提引入 (2)　Z(3)→Q (3) (1) US (3) Z(3) 前提引入 (4)　Q (3) (2)(3)假言推理 证明苏格拉底三段论 “所有的人都是要死的；苏格拉底是人。所以苏格拉底是要死的。” 解：设H(x)：x是人；M(x)：x是要死的； a：苏格拉底。 推理形式化为： (?x)(H(x)?M(x))，H(a) ? M(a) 证明：(1)　(?x)(H(x)?M(x)) 前提引入 (2)　H(a)?M(a) (1) US (3)　H(a) 前提引入 (4)　M(a) (2)(3)假言推理 谓词推理证明 例：(?x)(P(x)?Q(x))，(?x)P(x)?(?x)Q(x) 谓词推理证明 例：(?x)(P(x)?Q(x))，(?x)P(x)?(?x)Q(x) 证明： (1) (?x)P(x) 前提引入 (2