离散数学第二章

概览

• 命题的定义

• 命题联结词

• 命题符号化及其应用

• 命题公式及真值表

• 命题公式的分类和等价

• 基本等式关系及应用

---

---

---

什么是命题

 注：一切没有判断内容的都不是命题

 （4，如果是十进制，则命题真值为F。如果是二进制，则命题真值为T

 

---

命题联结词

 特别注意新概念蕴涵和等价

 

 

判断复合命题真值的方法

1，判断所有简单命题的真值

2，判断连接词

3判断复合命题的真值

---

 

 命题符号化及其应用

 （1）先否定，合取析取，蕴涵，等价

（2）括号内先否定在蕴涵

       括号外否定，合取析取，等价

 

---

 命题公式及真值表

 

 

 

 真值表的准确应用需要熟记命题联结词，复合命题在不同解释下的真值

---

命题公式的分类和等价

 

 

 

---

基本等价关系及应用

等价关系

 

 

 应用1.判断公式类型。例

 应用2.证明公式等价。例

 应用3.开关电路化简。例