10命题逻辑习题课讲述.pptVIP

 离 散 数 学 一、 命题及其表示 1.命题 2.命题分类 3.命题变元与常元 二、命题联结词 四、真值表 真值表的构造规则： 五、命题公式的类型 1.重言式 2.矛盾式 3.偶然式 六、等价公式 1.等价公式定义 2.等价公式的证明(真值表) 七、蕴含公式 证明蕴含公式的方法: ①用真值表法或等价变换(推导)法证明A→B ?1 。 ②通过分析的方法来证明一个条件命题是蕴含式。 Ⅰ 假设前件A为真时, 推出后件B也为真, 则A?B ; Ⅱ假设后件B为假时, 推出前件A也为假, 则A?B 。 八、推理理论 1.推理规则 P规则：在推导的任意一步都可以引入一个前提。 T规则：如果公式S等价于或被重言蕴含在一个或多个前提或中间结果命题中，则推导中可以引入S。 CP规则：如果能从R及一组前提推导出C，则可从这组前提推导出R→C。 2.推理定律 3.推理方法 ①直接证明法 利用推理规则和已知的等价式和蕴含式，从前提集合中直接推导出有效结论。 ②间接证明法 ⅰ.间接证明法1 在推导过程中，将结论的否定作为附加前提引入，与前提一起推导出矛盾的结果。 ⅱ.间接证明法2 在推导过程中，把结论的前件作为附加前提引入，然后按直接证明的方法推导出结论的后件。 推理证明(形式证明)下列各式: (1) 形式证明（推理）下列论述： 如果乙不参加篮球赛，那么甲就不参加；如果乙参加篮球赛，那么甲和丙就参加；因此，如果甲参加球赛，那么丙就参加。 形式证明（推理）下列论述： 由红、黄、蓝、白四队进行桥牌对抗赛。如果红队第三，则当黄队第二时，蓝队第四；或者白队不是第一，或者红队第三；事实上，黄队第二。因此，如果白队第一，那么蓝队第四。 二、 组合电路 命题逻辑的知识在日常生活和工程技术中应用非常广泛，特别在组合电路设计中更是如此。为了今后逻辑电路设计的需要，现将与命题逻辑联结词对应的门电路罗列于下： 门电路 命题表示 逻辑代数表示 F=(（P∨Q）∧┐(┐P∧(┐Q∨┐R))) F=((P∨Q)∧┐(┐P∧(┐Q∨┐R)))∨(((┐P∧┐Q)∨(┐P∧ ┐R))∧(Q∧R)) ?((P∨Q)∧(P∨(Q∧R)))∨((┐P∧(┐Q ∨ ┐R))∧(Q∧R)) ?((P∨Q)∧((P∨Q)∧(P ∨ R))∨((┐P∧┐(Q∧R))∧(Q∧R)) ?((P∨Q)∧(P∨R))∨0 ?((P∨Q)∧(P∨R)) ?(P∨(Q∧R)) ?P∨(Q∧R) （二）、电路的等价变换 在电路设计中，为了减少逻辑电路的故障，便于维修，尽量采用统一的元器件。最常用的元件是“与非门”器件。如逻辑电路如下： (三)、全加器的设计 计算机的加法运算可归结为二进制数码的相加运算，全加器中某一位是由被加数和加数对应位及低一位进位相加而成，同时还要处理该位相加后向高位进位的问题。假设P和Q为相加两数第i位的数码，R为i-1位向第i位的进位，S是P 、Q 、R 相加后在本位得到的数码，J是第i位向第i+1位的进位数码。 其运算真值如下： 利用等价变换化简J： J=(┐P∧Q∧R)∨(P∧Q∧R)∨(P∧┐Q∧R)∨(P∧Q∧R)∨(P∧Q∧┐R)∨(P∧Q∧R) ?((┐P∧Q∧R)∨(P∧Q∧R))∨((P∧┐Q∧R)∨(P∧Q∧R))∨((P∧Q∧┐R)∨(P∧Q∧R)) ?(P∧Q)∨(P∧R)∨(Q∧R) S无法化简 所以全加器逻辑电路图如下： 案例 微软公司招程序员的考试题 J S P Q R * 命题逻辑习题课 回 顾 三、命题公式的翻译 　 1. 将下列命题符号化： (1) 王强身体很好，成绩也很好。 (2) 停机的原因在于语法错误或程序错误。 (3) 如果天下雨，他就乘公共汽车上班。 (4) 只有天下雨，他才乘公共汽车上班。 （1）在真值表左栏按字母顺序列出所有分量，右栏列出结果命题。 （2）用0~2n -1的二进制计数顺序给命题分量指派真值。 （3）为了使真值表更加明了，可将中间命题列在命题分量和结果命题之间。 1 1 0 1 1 0 0 0 q p 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 成 立 等值演算: 用等值