命题逻辑的推理理论,证明方法.ppt

2.4 命题逻辑推理理论;2.4.1 推理的形式结构;定理2.8 由前提A1, A2, …, Ak 推出B 的推理正确当且仅当 A1 ? A2 ? … ? Ak ? B为重言式.;二、推理的形式结构;真值表法 等值演算法 主析取范式法 构造证明法;例1 判断下面推理是否正确: (1) 若今天是1号, 则明天是5号. 今天是1号. 所以, 明天是5号. ;例1 (2) 若今天是1号, 则明天是5号. 明天是5号. 所以, 今天是1号。;三、推理规则 1、推理规则的定义;1）附加规则;5）析取三段论;注意：;2.4.2 自然推理系统P;3. 推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 假言推理规则 (5) 附加规则 (6) 化简规则;[证];二、证明方法;（3）直接证明法;（5）分情况证明法;附加前提证明法的说明：;不相容的概念：;（7）反证法（归谬法）;归谬法(反证法)的说明;[证];[证];直接证明法举例;前提 (5)、(6)假言推理 (7)、(4)合取;例6 构造推理的证明: 若明天是星期一或星期三, 我就有课. 若有课, 今天必需备课. 我今天下午没备课. 所以, 明天不是星期一和星期三. ;前提: (púq)?r, r?s, ?s 结论: ?pù?q 证明： ① r?s 前提引入 ② ?s 前提引入 ③ ?r ①②拒取式 ④ (púq)?r 前提引入 ⑤ ?(púq) ③④拒取式 ⑥ ?pù?q ⑤置换 结论有效, 即明天不是星期一和星期三.;附加前提证明法举例;例7 构造下面推理的证明: 前提: ?púq, ?qúr, r?s 结论: p?s;归谬法(反证法)举例;例8 构造下面推理的证明 前提: ?(pùq)úr, r?s, ?s, p ；结论: ?q;⑨ p 前提引入 ⑩ ?pùp ⑧⑨合取 推理正确, ?q是有效结论;应用实例1 分析下列事实“如果我有很高的收入，那么我就能资助许多贫困学生；如果我能资助许多贫困学生，那么我很高兴；但我不高兴，所以我没有很高的收入。”试指明前提和结论，并给予证明。;应用实例2 将下列条件作为前提，验证所得结论是否有效： 明天或是天晴，或是下雨； 如果是天晴，我去公园； 如果我去公园，我就不看书。 结论：如果我在看书，则天下雨。;三、公理系统 1、公理系统的组成;2、公理??统L;3、公理集：;├L;[证];3、演绎定理;L的演绎定理：若;4、公理系统的质量标准;本节习题