命题逻辑推理理论—离散数学.pptxVIP

2.4 命题逻辑推理理论;2.4.1 推理的形式结构;定理2.8 由前提A1, A2, …, Ak 推出B 的推理正确当且仅当;二、推理的形式结构;真值表法 等值演算法 主析取范式法 构造证明法 真值表的方法参见P.67例2.23。;例1 判断下面推理是否正确:;例1 (2) 若今天是1号, 则明天是5号. 明天是5号. 所以今天是1号。;三、推理定律——重言蕴涵式;注意： 推理规则中出现的A、B、C 等是元语言符号； 直接引用而不需证明，只要说明所引用规则的名称； （3）24个永真公式每个都可以等效为2个推理规则。;2.4.2 自然推理系统P;自然推理系统P(续);自然推理系统P(续);直接证明法;实例;实例(续);附加前提证明法;实例;归谬法(反证法);?s, p;实例(续);课堂练习1;前提 附加前提 ①、②，假言推理前提 ②、④，拒取式 ③、⑤，析取三段论前提 ⑥、⑦，拒取式 ②、⑧，CP;证明;应用实例1 分析下列事实“如果我有很高的收入，那么我就能资助许多贫困学生；如果我能资助许多贫困学生，那么我很高兴；但我不高兴，所以我没有很高的收入。”试指明前提和结论，并给予证明。;应用实例2 将下列条件作为前提，验证所得结论是否有效： 明天或是天晴，或是下雨； 如果是天晴，我去公园； 如果我去公园，我就不看书。结论：如果我在看书，则天下雨。;本节习题