中央财经大学离散数学》课件-第2章命题逻辑等值演算.pdfVIP

内容：等值关系，24个重要等值式，等值演算。 重点：(1) 掌握两公式等值的定义。 (2) 掌握24个重要等值式，并能利用 其进行等值演算。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第1页-- 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第2页-- 从真值表中可以看到，有些命题公式在不同的 赋值下，其对应的真值与另一命题公式完全相同， 如┐P ∨Q与P→Q的对应真值相同，如表1所示。 表1 我们说┐P∨Q和 P Q ┐P ∨Q P→Q P→Q是等值的， 1 1 1 1 这在以后的推理中 1 0 0 0 十分有用。 0 1 1 1 0 0 1 1 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第3页-- 一、两命题公式间的等值关系 1、定义：设 A , B 为两命题公式，若等价式 A  B 是重言式，则称 与 是等值的，记作 。 A B A  B 2、注意 和 的区别： 3、用真值表可以验证两个公式是否等值。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第4页-- 例1 判断下面两个公式是否等值 ┐(p ∨q) 与 ┐p ∧┐q 等值 解答 q在用真值表法判断AB是否为重言式时，真值 表的最后一列可以省略。 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第5页-- 例2、判断 A , B 两公式是否等值。 A (p  q) (1) ， B p q 不等值 解：作真值表如下： 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第6页-- 例2、判断 A , B 两公式是否等值。 (2) ， A p  q B (p  q) (q  p ) 等值 解：作真值表如下： 2022年5月10 日星期二 中央财经大学 离散数学教案--孙博 2.1部分 --第7页-- 二、基本等值式 1.双重否定律 A  ┐┐A 2.幂等律 A  A ∨A, A  A ∧A 3.交换律 A ∨B  B ∨A ， A ∧B 