离散数学高教版第一部分 第三章.pptVIP

离散数学——数理逻辑 第三章 命题逻辑的推理理论 3.1推理的形式结构 定义3。1 设 A1，A2…Ak, B 都是命题公式，若对于A1,A2….Ak,B中出现的命题变项的任意一组赋值，或者A1∧A2 ∧ ….Ak 为假，或者A1∧A2 ∧ ….Ak 为真时，B为真，则称为由前提A1，A2 ， ….Ak 推出B的推理是有效的，或者正确，并称B是有效的结论。 关于定义3.1还需做以下几点说明： 1.由前提A1,A2….Ak推结论B的推理是否正确与诸前提的排列次序无关。因而前提中的公式不一定是序列，而是一个有限公式集合，若将这个集合记为 , Г 可将由Г推B的推理记作 Г┣ B 。若推理正确的，记为Г╞ B ，否则记作Г╞ B ﹒这里可以称为Г┣ B 。 2.设A1，A2…..Ak,B中出现n个命题变项，对于任一组赋值，前提和结论的取值情况有四种： （1） A1∧A2 ∧ ….Ak 为0，B为0； （2）A1∧A2 ∧ ….Ak 为0, B为1； （3） A1∧A2 ∧ ….Ak 为1, B为0； （4） A1∧A2 ∧ ….Ak 为1，B为1. 定理3.1 命题公式A1,A2….Ak推B的正确推理正确，当且仅当（A1∧A2 ∧ ….Ak) →B为重言式。 例： （1）若a能被4整除，则a能被2整除。a能被4整除，所以a能被2整除。 （2）下午马芳或去看电影或去游泳，她没有去看电影，