数理逻辑精品教学（华南理工大学）2-2 命题逻辑的等值和推理演算.pptx

请交作业一;复习思考题2;等值式应用举例;等值式应用举例;等值式应用举例;等值式应用举例;第2章 命题逻辑的等值和推理演算 ;2.4 联结词的完备集;联结词“↑”的性质 ; 每个命题变项在真值表中都有T、F两种可能， 故两个命题变项共有22=4种不同的可能赋值 而每个赋值在公式中对应的非T即F，即有 个不同的真值表。 ;P Q;联结词的完备集;联结词的完备集;2.5 对偶式;;;;2.6 范 式 ;范 式; 析取范式;命题公式的范式 ;求公式的范式举例 ;求公式的范式举例;极小项;极小项;主析取范式;用等值演算法求主析取范式的步骤;求公式 A=(P??Q)?R 的主析取范式;解法2： (P??Q)?R = (? P ? ? Q)?R = (P?Q) ? R （析取范式） = m11x ? mxx1 = (m110 ? m111) ?( m001 ? m011 ? m101 ? m111) = ? (1,3,5,6,7);求公式 (P??Q)?R 的主析取范式;主析取范式的用途;主析取范式的用途; ?(P?Q) ?Q = ?(? P ? Q) ? Q = P ? ? Q ? Q = F （矛盾式）; ((P?Q) ?P)?Q = ? ((?P?Q )? P) ? Q = ( P ? ? Q ) ? ? P ? Q (析取范式) = m10 ? m0x ? mx1 = m10 ? m00 ? m01 ? m01 ? m11 = m0 ? m1 ? m2 ? m3 = ? (0,1,2,3) =T ;作业3