离散数学2重言式与范式.pptVIP

离散数学(2) 陈斌 chenbin@ 2008.09.30 目录 数理逻辑 集合论 图论 抽象代数 形式语言与自动机 数理逻辑 命题演算 命题与联结词 重言式 范式 命题演算形式系统 谓词演算 个体、谓词和量词 谓词演算永真式 谓词公式的前束范式 一阶谓词演算形式系统 上次我们讲到…… 数理逻辑发展史 命题（proposition）的定义 关于排中律和直觉主义 逻辑联结词 命题和联结词的符号化 联结词符号的定义和真值表 命题公式的定义、真值函数、赋值和真值表 对命题语句进行形式化 命题演算：重言式 几种命题公式 重言式（永真式）tautology 命题变元的所有赋值都是命题公式的成真赋值 矛盾式（永假式、不可满足式）contradiction 命题变元的所有赋值都是命题公式的成假赋值 可满足式(contingency) 命题公式至少有一个成真赋值 性质 永真式是可满足式，但非永真式不一定是永假式 如果命题公式A是永真式，则?A是永假式，反之亦然 命题演算：重言式 例子：对于任何公式A A∨?A是重言式（排中律） A∧?A是矛盾式（矛盾律） 采用命题公式的真值表证明重言式 证明(p∨q)∧?p→q是重言式 命题演算：重言式 逻辑等价式(logical equivalent) 当命题公式A?B是重言式时，则称A逻辑等价于B，记作A╞╡B，称作逻辑等价式 也可以理解为公式A和公式B等值