第3章 命题逻辑的推理理论.pptVIP

例题 例3.4 在自然推理系统P中构造下面推理的证明： ????若数a是实数，则它不是有理数就是无理数；若a不能表示成分数，则它不是有理数；a是实数且它不能表示成分数。所以a是无理数。 构造证明： （1）将简单命题符号化： 设 p：a是实数。 ??? q：a是有理数。??? r：a是无理数。 ??? s：a能表示成分数。 （2）形式结构： 前提：p→(q∨r), ┐s→┐q, p∧┐s? 结论：r ① p∧┐s ??? 前提引入 ② p???????? ①化简 ③ ┐s?????? ①化简 ④ p→(q∨r) 前提引入 ⑤ q∨r ????? ②④假言推理 ⑥ ┐s→┐q? 前提引入 ⑦ ┐q ?????? ③⑥假言推理 ⑧ r ???????? ⑤⑦析取三段论 例题 附加前提法 有时推理的形式结构具有如下形式 ： 前提：A1, A2, …, Ak 结论：C?B 可将结论中的前件也作为推理的前提，使结论只为B。 前提：A1, A2, …, Ak, C 结论：B 理由： (A1?A2?…?Ak)?(C?B) ? ?( A1?A2?…?Ak)?(?C?B) ? ?( A1?A2?…?Ak?C)?B ? (A1?A2?…?Ak?C)?B 例题 例3.5 在自然推理系统P中构造下面推理的证明。 ????如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 构造证明： （1）将简单命题符号化： 设 p:小张去看电影。 ?????? q:小王去看电影。 ?????? r:小李去看电影。 ?????? s:小赵去看电影。 例题 （2） 形式结构： ? 前提：(p∧q)→r,┐s∨p,q ???? 结论：s→r （3）证明：用附加前提证明法 ??① s ???????? 附加前提引入 ② ┐s∨p??? 前提引入 ? ③ p ???????? ①②析取三段论 ④ (p∧q)→r 前提引入 ⑤ q ???????? 前提引入 ? ⑥ p∧q????? ③⑤合取 ? ⑦ r ???????? ④⑥假言推理 归谬法（反证法） 有时推理的形式结构具有如下形式： 前提：A1, A2, …, Ak 结论：B 如果将┐B作为前提能推出矛盾来，则说明推理正确。  前提：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队投球。 构造证明： （1）将简单命题符号化： 设 p:小张守第一垒。 q:小李向B队投球。 ?????? r:A队取胜。 s:A队获得联赛第一名。 （2）形式结构： ? ?前提：(p∧q)→r,┐r∨s,┐s ,p ???? 结论：┐q 例题 （3）证明：用归谬法 ① q ???????? 结论的否定引入 ② ┐r∨s ??? 前提引入 ③ ┐s ?????? 前提引入 ④ ┐r ?????? ②③析取三段论 ⑤ (p∧q)→r 前提引人 ⑥ ┐(p∧q)? ④⑤拒取式 ⑦ ┐p∨┐q ? ⑥置换 ⑧ p ???????? 前提引入 ⑨ ┐q?????? ⑦⑧析取三段论 ⑩ q∧┐q??? ①⑨合取 由于最后一步为矛盾式，所以推理正确。 小节结束 本章主要内容 推理的形式结构：?推理的前提?推理的结论?推理正确 判断推理是否正确的方法：?真值表法?等值演算法?主析取范式法 ? 对于正确的推理，在自然推理系统P中构造证明: ?自然推理系统P的定义?自然推理系统P的推理规则：?附加前提证明法?归谬法 本章学习要求 理解并记住推理的形式结构的三种等价形式，即①{A1,A2,…,Ak}├B②A1∧A2∧…∧Ak→B③前提：A1,A2,…,Ak???