离散数学一ppt.ppt

第一章数理逻辑 第二节 命题公式及分类 1.2.2 等价演算 1.3 范式 二、主范式1.极小项、极大项 定义：在n个变元的基本积中，若每一个变元与其否定不同时存在，而两者之一必出现一次且仅出现一次，则这种基本积叫极小项。 定义：在n个变元的基本和中，若每一个变元与其否定不同时存在，而两者之一必出现一次且仅出现一次，则这种基本和叫极大项。 1.5 推理规则和证明方法 第一章 小结与例题 内容： 重点： (1) 理解推理的概念； (2) 掌握推理定律； (3) 掌握推理规则； (4) 掌握构造证明法。 了解： 附加前提证明法和归谬法。 推理规则，构造证明法。 推理的概念，推理定律， 一、推理的形式结构。 2、判断推理的方法。 等值演算法，真值表法，主析取范式法。 1、定义： 记作 则称前提 若 为重言式， 推结论 的推理正确， 为 的逻辑结论或有效结论。 。 例1、判断下面推理是否正确。 如果天气凉快，小王就不去游泳， 天气凉快，所以小王没去游泳。 结论： 推理形式结构为： 判断此蕴涵式是否为重言式。 前提： ， 解：设 小王去游泳。 ： ：天气凉快， （假言推理） [方法一] 用等价式法。 所以推理正确。 [方法二] 用真值表法。 其真值表中最后一列全为1， 所以推理正确。 [方法三] 用主析取范式法。 主析取范式含全部最小项，所以推理正确。 二、构造证明法。 1、推理定律有以下8条： (1) 附加 (2) 化简 (3) 假言推理 (4) 拒取式 (5) 析取三段论 二、构造证明法。 1、推理定律有以下8条： (6) 前提三段论 (7) 等价三段论 (8) 构造性二难 2、推理规则。 前提引入规则P :在推导的任何步骤上 都可以引入前提。 (2) 结论引入规则T ：在推导中，如果前面有一个 或多个公式永真蕴含S，则可将S引进推导过程。 (3)置换规则（逻辑恒等式） 例2、构造下列推理的证明。 (1) 前提： 结论： 证明： 前提引入 ② 前提引入 前提引入 ③ ④ ①②③构造性二难 ① 例2、构造下列推理的证明。 (2) 前提： 结论： 证明： ① 前提引入 前提引入 ② ③ ①②拒取式 ④ 前提引入 ⑤ ③④假言推理 例2、构造下列推理的证明。 (2) 前提： 结论： 证明： ⑥ 前提引入 ⑦ ⑤⑥拒取式 ⑧ 前提引入 ⑨ ⑦⑧析取三段论 (1) 如果6是偶数，则2不能整除7； 或者5不是素数，或者2整除7； 5是素数。 因此，6是奇数。 解： 前提： 结论： ：6是偶数， ：5是素数。 ：2整除7， 例3、写出对应下面推理的证明。 证明： ① 前提引入 ② ①置换规则 ③ 前提引入 ④ ②③假言推理 ⑤ 前提引入 ⑥ ④⑤拒取式 前提： 结论： (2) 如果乙不参加篮球赛，那么甲就不参加； 如果乙参加篮球赛，那么甲和丙就参加。 因此，如果甲参加篮球赛，那么丙就参加。 解： 前提： 结论： ：乙参加篮球赛， ：丙参加篮球赛。 ：甲参加篮球赛， 2、析取范式，合取范式。 例如： 为析取范式， 为合取范式。 定义： 由有限个简单合取式构成的析取式称作析取范式。 由有限个简单析取式构成的合取式称作合取范式。 2、析取范式，合取范式。 例如： 为析取范式， 显然， 为合取范式 ， 为合取范式。 例如： 为析取范式。 2、析取范式，合取范式。 范式存在定理： 任一命题公式都存在与之等值的析取范 式和合取范式。 求范式步骤： (2) 否定消去或内移。 (3) 利用分配律。 (1) 消去联结词 解：原式 消去 内移 消去 上式即析取范式 例1、求公式 的析取范式和合取范式。 分配律 对 ( 分配) 都是极小项， 都是极大项， 例如，对只含变项 的命题公式中， 但 不是极小项。 但 不是极大项。 极大项，极小项 。 下面分别讨论 ，即 个命题变项 的 极小项 成真赋值 (二进制数) 000 001 010 011 100 101 110 111 对应 十进制数 0 1 2 3 4 5 6 7 记法 极大项 成假赋值 (二进制数) 000 001 010 011 100 101 110 111 对应 十进制数 0 1 2 3 4 5 6 7 记法 2、主析取范式，主合取范式。 主析取范式 ——每个简单合取式都是极小项的析取范式。 主合取范式 ——每个简单析取式都是极大项的合取