离散数学02-精品·公开课件.pptVIP

第一章 命题逻辑 知识点： 1.3 永真公式 一、命题公式的解释 1、公式解释的定义 例题 2、公式真值的计算 例题 二、命题合式公式的分类 三、逻辑恒等式和永真蕴含式 1、逻辑恒等式的定义和性质 2、常用的基本逻辑恒等式 3、永真公式的基本运算规律 例题 4、对偶式及其相关运算 5、永真蕴含式 本节习题 （1）定义：若 是永真式，则称之为永真蕴含式，记为 ，读作“A 永真蕴含 B ”。 注意： 并不是一个逻辑联结词，不要把 与 混淆。 （2）永真蕴含式的性质： （3）常用的基本永真蕴含式： * * 1、命题的符号化； 2、合式公式； 3、公式的分类及永真公式； 4、合式公式的范式； 5、命题逻辑的推理理论。 语义： 命题的语义是指它的真值。 联结词的语义是指它们在本质上作为真值函数的性质，即定义域和值域都是0，1这两个值的一元或二元函数。 定义1.3.1 设 A(P1, P2, …, Pn) 是含有 n 个命题变元P1, P2, …, Pn的一个合式公式，对P1, P2, …, Pn 的一组真值赋值，称为对A的一个解释，记作 。 其中， 取 0 或 1 ，