离散数学自考复习第一章.docVIP

离散数学复习要点 第一章命题逻辑 一、典型考查点 1、命题的判断 方法：陈述句 真值唯一，特殊：反问句也是命题。其它疑问句、祈使句、感叹句、悖论等皆不是。详见教材P1 2、联结词运算定律 ﹁∧∨→ 记住特殊的：1∧11，0∨00，1→ 00，111，001详见P5 3、命题符号化 步骤：A划分原子命题，找准联结词。特殊自然语言：不但而且，虽然但是用∧，只有P才Q，应为Q→P；除非P否则Q，应为﹁P→Q。 B设出原子命题写出符号化公式。详见P5 4、公式的分类判定（重言式、矛盾式、可满足式）方法：其一根据所有真值赋值情况，其二根据等价演算来判断。详见P9 5、真值表的构造 步骤：① 命题变元按字典序排列，共有2n个真值赋值。② 对每个指派，以二进制数从小到大或从大到小顺序列出。③ 若公式较复杂，可先列出各子公式的真值(若有括号，则应从里层向外层展开)，最后列出所求公式的真值。详见P8。 6、基本概念：置换规则，P规则，T规则，详见P24；合取范式，析取范式，详见P15；小项详见P16；大项详见P18，最小联结词组详见P15 7、等价式 详见P22表1.6.2 证明方法：①真值表完全相同 ②用等价演算 ③利用A?B的充要条件是ATB且BTA。主要等价式：(1)双否定：ùùA?A。(2)交换律：A∧B?B∧A，A∨B?B∨A，A?B?B?A。3)结合律：(A∧B)∧C?A∧(B∧C)，(A∨B)∨C?A∨(B∨C)，(A?B)?C?A?(B?C)。(4) 分配律：A∧(B∨C)?(A∧B)∨(A∧C)，A∨(B∧C)?(A∨B)∧(A∨C)。(5) 德·摩根律：ù(A∧B)ù?A∨ùB，ù(A∨B)ù?A∧ùB。(6) 等幂律：A∧A?A，A∨A?A。(7) 同一律：A∧T?A，A∨F?A。(8) 零律：A∧F?F，A∨T?T。(9) 吸收律：A∧(A∨B)?A，A∨(A∧B)?A。(10) 互补律：A∧ùA?F，(矛盾律)，A∨ùA?T。(排中律)(11) 条件式转化律：A→Bù?A∨B，A→Bù?B→ùA。(12) 双条件式转化律：A?B?(A→B)∧(B→A)?(A∧B)∨(ùA∧ùB) 8、蕴含式 详见P23表1.6.3 证明方法：①前件真导后件真方法 ② 后件假导前件假方法 ③真值表中，前件为真的行，后件也为真或者后件为假的行，前件也为假。④用定义，证ATB，即证A→B是永真式。 9、范式求法 步骤：① 使用命题定律，消去公式中除?、?和?以外公式中出现的所有联结词；② 使用?(?P)?P和德·摩根律，将公式中出现的联结词?都移到命题变元之前；③ 利用结合律、分配律等将公式化成析取范式或合取范式。 10、主范式的求法 重点 步骤：(a)把给定公式化成析取（合取）范式；(b)删除析取范式中所有为永假的简单合取（析取）式；(c)用等幂律化简简单合取（析取）式中同一命题变元的重复出现为一次出现，如P∧P?P。(d)用同一律补进简单合取（析取）式中未出现的所有命题变元，如Q，则P?P∧（?Q∨Q)或P?P∨（?Q∧Q)，并用分配律展开之，将相同的简单合取式的多次出现化为一次出现， 这样得到了给定公式的主析取（合取）范式。 注意：主析取范式与主合取范式之间的联系。例如：(P?Q)?Q?m1?m3?M0?M2，即剩下的编码就是另一个主范式的编码，因此，求主范式，哪一个简单易求，就先求哪个，然后对应出所求结果。详见P16 11、推理证明：重点 方法：演算、演绎法（常用的格式）、反证法、CP规则即附加前提等。 重点规则（主要蕴含式）：(1) P∧QTP化简(2) P∧QTQ化简(3) PTP∨Q附加(4) ùPTP→Q变形附加(5)QTP→Q变形附加(6) ù(P→Q)TP变形化简(7) ù(P→Q)ùTQ变形化简(8) P，(P→Q)TQ假言推理(9) ùQ，(P→Q)ùTP拒取式(10) ùP，(P∨Q)TQ析取三段论(11) (P→Q)，(Q→R)TP→R条件三段论(12) (P?Q)，(Q?R)TP?R 双条件三段论 文字证明推理三步：一命题符号化，二写出前提和结论，三进行证明。详见P21 二、强化练习 1.命题的是( )A.走，看电影去B.x+y0C.空集是任意集合的真子集D.你明天能来吗? 2.下列式子为重言式的是( ) A.P→P∨Q B.(﹁P∧Q)∧(P∨﹁Q) C.﹁ (P Q) D.(P∨Q) (P→Q) 3．下列为两个命题变元P，Q的小项是（　　　） A．P∧Q∧? P B．? P∨Q C．? P∧Q D．? P∨P∨Q 4．下列语句中是真命题的是（　　　） A．我正在说谎B．严禁吸烟C．如果1+2=3，那么雪是黑的D．如果1+2=5，那雪是黑的 5．设P：我们划船，