离散数学 第三章 命题逻辑的推理理论.pptVIP

第三章 命题逻辑的推理理论 ?P中证明的两个常用技巧： ?四、附加前提证明法 ???有时推理的形式结构具有如下形式??????（A1∧A2∧…∧Ak)→(A→B)?????（3.5） （3.5）式中结论也为蕴涵式。此时可将 结论中的前件也作为推理的前提，使结论只 为B。即，将（3.5）化为下述形式 ????? (A1∧A2∧…∧Ak∧A)→B??????????（3.6） 其正确性证明如下：????????（A1∧A2∧…∧Ak)→(A→B)） ???????┐(A1∧A2∧…∧Ak)∨(┐A∨ B） ???????（┐(A1∧A2∧…∧Ak )∨┐A)∨B ?┐(A1∧A2∧…∧Ak∧A)∨B ? (A1∧A2∧…∧Ak∧A)→B? ? 因为（3.5）式与（3.6）式是等值的，因而若能证明（3.6）式是正确的，则（3.5）式也是正确的。用形式结构（3.6）式证明，将A称为附加前提，并称此证明法为附加前提证明法。 例3.5 在自然推理系统P中构造下面推理的证明:?如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 解： 将简单命题符号化： ???? 设 p:小张去看电影。 ?????? q:小王去看电影。 ?????? r:小李去看电影。 ?????? s:小赵去看电影。 ????前提：(p∧q)→r,┐s∨p,q ? ? 结论：s→r ?? 前提：(p∧q)→r,┐s∨p,q ? ? 结论：s→r ? 证明： 用附加前提证明法 ????① s ??????? 附加前提引入 ② ┐s∨p??? 前提引入 ????③ p ??????? ①②析取三段论 ????④ (p∧q)→r 前提引入 ????⑤ q ??????? 前提引入 ????⑥ p∧q??? ③⑤合取 ????⑦ r ??????? ④⑥假言推理 五、归谬法 ???? 在构造形式结构为????????(A1∧A2∧…∧Ak)→B 的推理证明中，如果将┐B作为前提能推出 矛盾来，比如说得出(A∧┐A)，则说明推 理正确。其原因如下： ??(A1∧A2∧…∧Ak)→B ???????┐(A1∧A2∧…∧Ak)∨B ???????┐(A1∧A2∧…∧Ak∧┐B) 若(A1∧A2∧…∧Ak∧┐B)为矛盾式，正说明 (A1∧A2∧…∧Ak)→B为重言式，即 (A1∧A2∧…∧Ak) ?B, 故推理正确。 例3.6 在自然推理系统P中构造下面推理 的证明。 ???如果小张守第一垒并且小李向B队投球， 则A队将取胜；或者A队未取胜，或者A队获 得联赛第一名；A队没有获得联赛的第一名； 小张守第一垒。因此，小李没有向B队投球。 解 先将简单命题符号化。 ? ??设 p:小张守第一垒。 ????? ? q:小李向B队投球。 ?????? r:A队取胜。 ????? s:A队获得联赛第一名。 ?前提：(p∧q)→r,┐r∨s,┐s ,p ?结论：┐q 证明：用归谬法 ????① q ?????? ?结论的否定引入 ????② ┐r∨s ?? ?前提引入 ????③ ┐s ????? 前提引入????④ ┐r ????? ?②③析取三段论????⑤ (p∧q)→r 前提引人 ????⑥ ┐(p∧q)? ④⑤拒取式 ????⑦ ┐p∨┐q ⑥置换 ????⑧ p ????? 前提引入 ⑨ ┐q?????? ⑦⑧析取三段论 ???⑩ q∧┐q?? ①⑨合取 ? 由于最后一步q∧┐q?0， 即: (((p∧q)→r) ∧ (┐r∨s)∧┐s∧p)∧q?0 所以推理正确。 习 题 课 主要内容 推理的形式结构：①推理的前提②推理的结论③推理正确④有效结论? 2. 判断推理是否正确的方法：①真值表法②等值演算法③主析取范式法 ? 3. 对于正确的推理，在自然推理系统P中 构造证明 4. ①自然推理系统P的定义 ②自然推理系统P的推理规则：??? 前提引入规则、结论引入规则、置换 规则、假言推理规则、附加规则、化简规 则、拒取式规则、假言三段式规则、构造 性二难规则、合取引入规则。 ③附加前提证明法 ④归谬法 ? 学习要求 1. 理解并记住推理的形式结构的三种等