1.4推理理论总汇.pptVIP

授课教师：程文刚 wgcheng@ncepu.edu.cn ;范式与主范式;定义 在一公式中，仅由命题变元及其否定构成的合取式， 称该公式为简单合取式，其中每个命题变元或其否定，称为合取项。 例如： P，?Q，P?Q和?P?Q?P 定义 在一公式中，仅由命题变元及其否定构成的析取式， 称该公式为简单析取式，其中每个命题变元或其否定，称为析取项。 例如： P，?Q，P?Q，?P?Q?P 注意：一个命题变元或其否定既可以是简单合取式，也可是简单析取式，如例中P，?Q等;小项 定义 在含有n个命题变元的简单合取式中， 若每个命题变元与其否定不同时存在，而二者之一出现一次且仅出现一次，则称该简单合取式为小项，或布尔积。 大项 定义 在n个命题变元的简单析取式中，若每个命题变元与其否定不同时存在，而二者之一必出现一次且仅出现一次，则称该简单析取式为大项，或布尔和。;主??取 小项的析取式 真值表方法：一个公式的真值为T的指派所对应的小项的析取 主合取 大项的合取式 真值表方法：一个公式的真值为F的指派所对应的大项的合取 ;(a) 把给定公式化成析取范式； (b) 删除析取范式中所有为永假的简单合取式； (c) 用等幂律化简简单合取式中同一命题变元的重复出现为一次出现，如P∧P?P。 (d) 用同一律补进简单合取式中未出现的所有命题变元，如Q，则P?P