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

复习思考题3;逻辑学家手指一门问身旁一名战士，说：“这扇门是死亡门，他（指另一名战士）将回答‘是’，对吗？”;第2章 命题逻辑的等值和推理演算 ;主析取范式的用途1;主析取范式的用途2; ?(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;主析取范式的应用(4)举例;主析取范式的应用举例;主析取范式的应用举例;主析取范式的应用举例;极大项; ;主合取范式;1. 求A的合取范式A ′； 2. 若A ′的某简单析取式B中不含某命题变项或其否定，则将B展成如下形式： B = B ? F = B ? (Pi ? ? Pi ) = (B ? Pi) ? (B ? ? Pi) 3. 将重复出现的命题变项、重言式及重复出现的极大项都“消去”。 4. 将极大项按由小到大的顺序排列，并用 ? 表示之，如 M1 ? M2 ? M6 用 ?(1,2,6) 表示。;求公式(P??Q)?R 的主合取范式;解2: (P??Q)?R = (P?R)?(Q?R) (合取范式) = M1x1 ? Mx11 = M101 ? M111 ? M011 ? M111 = M3 ? M5 ? M7 = ? (3,5,7);;用真值表法求公式(P??Q)?R 的主析取范式、主合取范式;2.7 推理形式;推理形式;重言蕴涵;例：判断下面推理是否正确?;例：判断下面推理是否正确;例：判断下面推理是否正确;例：判断下面推理是否正确;例：判断下面推理是否正确?;重言蕴涵的几个结果;2.8 基本的推理公式;;基本的推理公式;证明推理公式的方法;2.9 推理演算——推理规则 ;推理规则(续);使用推理规则的推理演算举例;推理演算——直接证明法;作业4