离散数学数理逻辑重言式离散数学数理逻辑逻辑等价式和逻辑蕴涵式.PDFVIP

命题公式的分类 〉 命题公式可以从真值的角度进行分类 〉 重言式 ：（永真式）tautology 命题变元的所有赋值都是命题公式的成真赋值 〉 矛盾式 （永假式、不可满足式） contradiction 命题变元的所有赋值都是命题公式的成假赋值 离散数学：数理逻辑 ：重言式 〉 可满足式(contingency) 陈斌 北京大学地球与空间科学学院 gischen@pku.edu.cn 命题公式至少有一个成真赋值 北京大学地球与空间科学学院/陈斌/2015 需要分清的概念 重言式的例子和证明 〉 永真式都是可满足式 〉 例子：对于任何公式A 〉 矛盾式都不是可满足式 〉 A ∨¬A是重言式（排中律） 〉 非永真式并不都是永假式 〉 A ∧¬A是矛盾式（矛盾律） 〉 采用命题公式的真值表证明重言式 〉 如果A是永真式，则 ¬A就是永假式， 反之亦然 〉 证明(p∨q)∧¬p→q是重言式 p q p∨q ¬p (p∨q)∧¬p (p∨q)∧¬p→q 0 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 北京大学地球与空间科学学院/陈斌/2015 北京大学地球与空间科学学院/陈斌/2015