在逻辑学中把从所谓前提的一些命题出发,依据公认的推理规则,推导出.ppt

构造证明法 重要的推理定律（重言蕴涵式）有以下8条： 1.A?(A∨B); 附加 2.(A∧B) ? A; 化简 3.((A→B)∧A) ? B; 假言推理 4.((A→B)∧ ? B) ? ? A; 拒取式 5.((A∨B)∧ ? A) ? B; 析取三段论 6.((A→B)∧(B→C)) ? (A→C); 假言三段论 7.((A?B)∧(B ? C)) ? (A ? C); 等价三段论 8.(A→B)∧(C→D)∧(A∨C) ? (B∨D). 构造性二难 推理规则 置换规则：在证明的任何步骤上，命题公式中的任何子命题公式都可以用与之等值的命题公式置换。 推理规则 在以下的推理规则中，用 A1, A2,…, Ak ╞B 表示B是A1, A2,…, Ak的逻辑结论，在证明的序列中，若已有A1, A2,…, Ak ，则可引入B. 根据8条推理定律可得下面推理规则： 单前提推理（推理规则） p ? p p∧q ? p p∧q ? q p ? p∨q q ? p∨q 多前提基本推理 (a) p, p→q ? q (b) ? q, p→q ? ? p (c) ? q, p∨q ? p (d) p→q, q→r ? p→r (e) p∨q, p→r , q→s ? r∨s (f) p∨q, p→r , q→r ? r 例. 构造下列推理的论证. (1) p∨q, p→? r, s→t,? s→r,? t ? q ① s→t 前提 ② ? t 前提 ③ ? s ①②拒取式 ④ ? s→r 前提 ⑤ r ③④假言推理 ⑥ p→ ? r 前提 ⑦ ? p ⑤⑥拒取式 ⑧ p∨q 前提 ⑨ q ⑦⑧析取三段论 例. 构造下列推理的论证. p→q, r→? q, r∨s, s→? q ? ? p ① s→? q 前提 ② r→? q 前提 ③ r∨s 前提 ④ ? q ①②③构造性二难 ⑤ p→q 前提 ⑥ ? p ④⑤拒取式 例. 构造下列推理的论证. p→(q→r), q, p∨? s ? s→r ① p∨? s 前提 ② s 附加前提引入 ③ p ①②析取三段论 ④ p→ (q→r) 前提 ⑤ q→r ③④假言推理 ⑥ q 前提 ⑦ r ⑤⑥假言推理 例：构造下面推理的证明. p→(? (r∧s)→? q), p, ? s ? ? q ① p→(? (r∧s)→? q) 前提 ② p 前提 ③ ? (r∧s)→? q ①②假言推理 ④ ? (? q) 否定结论 ⑤ q ④置换 ⑥ r∧s ③⑤拒取式 ⑦ ? s 前提 ⑧ s ⑥化简 ⑨ s∧? s ⑦⑧合取 由⑨得出矛盾，说明推理正确。 * 1-1 命题及其表示法 1-2 联结词 1-3 命题公式与翻译 1-4 真值表与等价公式 第一章 命题逻辑 1-5 重言式与蕴涵式 1-6 其他联结词 1-7 对偶与范式 1-8 推理理论 1-8 推理理论 定义1-8.1 设A和C是两个命题公式，当且仅当A→C为一重言式，即A ? C，称C是A的有效结论。或C可由A逻辑推出。 序列H1, H2, …, Hn和C是