离散数学之命题逻辑

取自b站电子科技大学离散数学课程
一：什么是命题*
搞清楚 命题 原子命题 复合命题的定义

二：命题联结词
搞清楚 否定 合取 析取（可兼或，不可兼或（异或）） 蕴涵（条件） 双条件（等价）的定义

三：命题符号化及其应用

四：命题公式和真值表
搞清楚 常值命题 命题变量（命题变元） 命题公式（真值函数）的定义



一般来说，若有n个命题变元，则应有2的n次幂个不同的解释。
五：命题公式的分类和等价

六：命题等价公式及应用
这里只列举了除和加减乘除运算规律相似以外的运算公式



以下是几个比较重要的例题





七.这一章最重要的东西。