离散数学0301830.pptVIP

第一章 命题逻辑 知识点： 1.4 范 式 一、合取范式 1、基本和 2、合取范式 3、主合取范式 二、析取范式 1、基本积 2、析取范式 3、主析取范式 三、主范式之间的关系 1、最大项与最小项之间的关系 2、主范式之间的关系 本节习题 例1.4.7 用真值表的方法求解例1.4.6。 原式 含有 n 个命题变元的最大项和最小项之间存在下列关系： 若已知公式 A 的主析取范式为 则它的主合取范式为 * * 1、命题的符号化； 2、合式公式； 3、公式的分类及永真公式； 4、合式公式的范式； 5、命题逻辑的推理理论。 文字的含义： 命题变元和命题变元的否定称为文字，并称命题变元为正文字，命题变元的否定为反文字。 例如： 等都是文字。 （1）基本和的定义： 基本和的归纳定义是： ① 文字是基本和； ② 若 A, B 是基本和，则 也是基本和。 例如： 等都是基本和。 基本和的一般形式为： 其中， 为 0 或 1。 定理1.4.1 一个基本和是永真式，当且仅当它同时含 有某命题变元 及其否定 。 （3）基本和的性质： （2）基本和的