离散数学（一）

课时一

1.命题的基本概念

（1）命题定义：陈述客观事实的陈述句。

（2）命题特性：非真即假。

（3）命题连接词：由简单命题构造复杂命题。

（4）常用命题连接词

注意：p->q为假当且仅当p真q假时成立。

2.命题的等价与永真公式

注意：用真值表表示命题的真假。

练习：

3.命题演算的一些基本的逻辑规律

注意：可以把或看作乘法，把且看作加法。

练习：

课时二

1.析取范式与合取范式

练习：

2.求析取范式和合取范式

（1）步骤

注意：de Morgam律即为德摩根律

（2）练习

3.主析取范式和主合取范式

（1）概念

注意：

（1）成真赋值：给一个式子赋值，使其结果为真；成家复制与其相反。

（2）极小项是合取，极大项是析取。

（3）对于任一命题公式t，有唯一的与之等价的主析取范式，也有唯一与之等价的住合取范式。

练习：

（2）寻找主析取范式（主合取范式）的步骤

练习：