离散数学-第1章-2.pptVIP

第一章 逻辑与证明 命题公式 真值表 等价公式 重言式和蕴含式 约定：为方便，最外层括号可以不写，合式公式可以写成： P∧Q，?P?R，(P∨Q)∧R 如果规定逻辑联接词的优先级： ? 、 ∧、 ∨、 → 、 ? 则： P ∧Q ?R也是合式公式 命题公式 真值表 等价公式 重言式和蕴含式 为了有序地列出A(P1,P2,…,Pn)的真值表，可以将F看成0，将T看成1，按照二进制数00…0, 00…01, 00…010, …, 11…10, 11…1(即十进制的0,1,2,…. ,2n -1)的次序进行指派列真值表。 如A(P,Q)的真值表可按照如下次序指派： 00(F,F)，01(F,T)，10(T,F)，11(T,T) 如A(P,Q,R)的真值表可按照如下次序指派： 000(F,F,F), 001(F,F,T), 010(F,T,F), 011(F,T,T) 100(T,F,F), 101(T,F,T), 110(T,T,F), 111(T,T,T) 例如列出P?(Q?R)的真值表 观察下面的真值表 命题公式 真值表 等价公式 重言式和蕴含式 A?B的定义：A、B是含有命题变元P1,P2,…, Pn的命题公式，