离散w数学1—6.pptVIP

四、联结词的全功能集 基本概念 联结词的全功能集，极小全功能集。 五、对偶与范式 1、基本概念 对偶式，对偶原理；简单析取式，简单合取式； 析取范式，合取范式；极小项，极大项； 主析取范式，主合取范式。 五、对偶与范式 2、应用 (1) 求给定公式的主析取范式和主合取范式； (2) 用主析取范式或主合取范式判断两公式 是否等值； (3) 用主析取范式或主合取范式求公式的成真 或成假赋值； (4) 用主析取范式或主合取范式判断公式的类型。 六、推理理论 1、基本概念 推理，推理规则，推理定律；构造证明法。 2、应用 (1) 判断推理 是否正确： 真值表法 等值演算法 主析取范式法(主合取范式法) (2) 用8条推理定律构造推理的证明。 例1、判断下列各语句中，命题，简单命题， 复合命题，真命题，假命题，真值待定的 命题各有哪些？ (2) 2是素数或是合数， (4) 只有4是奇数，5才能被3整除。 (5) 明年5月1日是晴天。 (1) ， (3) 若 ，则5是偶数， 例1、判断下列各语句中，命题，简单命题， 复合命题，真命题，假命题，真值待定的 命题各有哪些？ 解：命题有(2)－(5)， 其中(5)是简单命题，(2)，(3)，(4)是复合命题， (2)，(4)为真命题，(3)为假命题，(5)真值待定。 (1) 解：我将进城去当