四川大学-计算机学院--石兵-第三讲-命题逻辑v1.pptVIP

* * * * * * * * * * * * * * * 2. A?B当且仅当 A?B是永真式。 证明要点： 当A?B时，A取值1，B必取 值1，因而A?B恒取值1，即A?B 是永真式；反过来，当 A?B是永真式时，A取值 1时，必然B取值1，从而A?B。 3. A ? B当且仅当A?B且B?A。 二、判定A?B的常用方法 1。按照定义，考察对任何使 A取值1的 解释是否都能使 B也取值1 。 2。考察对任何使 B取值0的解释是否都 能使A也取值0。 例：检查（P?Q）? ?R?R?Q 是否成立？ 解: 先按第一种方法进行判断. P Q R （P?Q）? ?R R?Q 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 由此可见，蕴含式成立。 再按第2种方式进行判别 P Q R （P?Q）? ?R R?Q 0 0 1 0 0 1 0 1 0 0 下面的解释在判别中可以不考虑 0 1 1 0 1 三、几个基本蕴含式（P18） 1. P ?Q ?P， P ?Q ?Q （简化法则） 2. P ? P?Q，Q ? P?Q （扩充法则） 3. P ?（P ? Q） ?Q （假言推理） 4. (P ? Q) ? (Q ? R) ? ( P ? R) （假言三段论式） 四、蕴含的基本性质 1. A ? A (自反性) 2. 如果A? B且B? A, 则A ? B (反对称性) 3. 如果A? B且B? C, 则A? C (传递性) 4. 如果A? B且A? C, 则A? B ? C 注意:性质4实际包含一个充要条件 。 5. 如果 A?C 且 B?C, 则 A? B? C 注意：也可导得A ? B? C。 (因为: A ? B ? A ? B) 或者 （A ? C ） ? （B ? C ）为永真式也可推导 6. A ? B ? C当且仅当 A? B?C 注：这个性质很重要，是CP规则的 依据。 使我们能把证明 A? B?C 转化为证明 A ? B ? C。 7. A ? B当且仅当 A ? ?B是矛盾式 注：这个性质为反证法提供了依据。 8. A ? B当且仅当 ?B ? ? A 注：这个性质表达了逆向思维原理， 是另一种反证法形式。 作业:习题1 15(2)(4), 4 作业:习题1.5 1(2)(4), 4 * * * * * * * * * * * * * * * * * * * * * * * * 离散数学 DISCRETE MATHEMATICS 教师:石兵 Email:shibing_2009@scu.edu.cn 二零一二 重点词 -- 定义 命题公式等价 对偶公式 重点掌握 命题公式等价的判别(定义\等价变换) 基本命题等价公式 上次课重点: 本次课重点 公式的范式表达 命题公式的蕴涵 第四节 命题公式的范式表示 一、定义 1。原子公式及其否定都称为句节。 例如 P、Q称为正句节， ?Q、 ?P 称为负句节。 2。有限个句节组成的析取式称为子句。 例如 ?P ? Q ? R就是一个子句 。 3。有限个句节组成的合取式称为短语。 例如 ?P ? Q ? ? R ? S 是短语。 4。有限个子句组成的合取式称为合取范式。 例如( ?P ? Q) ? ( ?S ? R) ? ?Q是合取范式。 5。有限个短语组成的析取式称为析取范式。 例如( ?P ? Q) ? ( ?S ? R) 是析取范式。 定理：每个WFF都可以化成等价的合取