上堂课的内容重点与难点电子教案.pptVIP

上堂课的内容、重点与难点;1.2.3 联结词的完备集;定理1 联结词的集合{?，?，?}是完备的。;定理 联结词的集合{?， ∧}是完备的。;定理 联结词的集合{↓}是完备的。;例 试证明联结词集合{∨}不完备。;联结词的完备集;1.2.4 对偶式和内否式;内否式的定义;对偶式和内否式的性质;定理4的证明：;证明(续): 归纳假设：设n?k时定理成立。 考察n=k+1?1，A中至少有一个联结词， 可分为下面三种情形： A=?A1， A=A1?A2， A=A1?A2 其中A1，A2中的联结词个数? k 。 依归纳假设 ?A1= A1*? ， ?A2= A2*? 。 对于上述三种情形，可以分别证明结论成立： ?A =A*?。 由数学归纳法知，定理得证。 ;1.3 范式及其应用;合取式、析取式;(一) 解释与合取式、析取式之间的关系 ;析取范式、合取范式;例: 考察公式 ?=P?Q的析取范式;例: 考察公式 ?=P?Q的合取范式;定理2 任何命题演算公式均可以化为合取范式，也可以化为析取范式。;证明(3)： 设公式?既非永真又非永假。 设公式?的成真解释为?1，?2，……，?n， 成假解释为?1，?2，……，?t。 根据解释和范式的关系知： 对应于成真解释?1，?2，……，?n的合取式为 ?1，?2，……，?n 对应于成假解释?1，?2，……，?t的析取式为 ?1，?2，……，?t 而公式 ?1??2?……??n的成真解释为 ?1，?2，……，?n； 公式?1??2?……??t的成假解释为 ?1，?2，……，?t。 根据两个公式逻辑等价的定义知 ?=?1??2?……??n =?1??2?……??t 故公式?既可表示为析取范式又可表示为合取范式。;(二) 析取范式和合取范式的求解方法 ;等价变换法;解释法;例 求公式的范式 ?(P?Q)??((R??Q)??P);解：P=T时, 原式=?(T?Q)∨?((R??Q)??T)=?Q∨?R P=F时, 原式=?(F?Q)∨?((R??Q)??F)=F 所以有: 成真解释为：(P,Q,R)=(T,F,T), (T,F,F), (T,T,F) 成假解释为：(P,Q,R)=(T,T,T), (F,?, ?);范式不唯一性;1.3.2 主范式;三个命题变元P、Q和R可构造8个极小项;主析取范式 ;求主析取范式的两种方法;例 求公式的主析取范式 ?(P?Q)??((R??Q)??P);解：P=T时, 原式=?(T?Q)∨?((R??Q)??T)=?Q∨?R P=F时, 原式=?(F?Q)∨?((R??Q)??F)=F 所以有: 成真解释为：(P,Q,R)=(T,F,T), (T,F,F), (T,T,F) ;(二) 主合取范式;三个命题变元P、Q和R可构造8个极大项;主合取范式;求主合取范式的两种方法;例 求公式的主合取范式 ?(P?Q)??((R??Q)??P);解：P=T时, 原式=?(T?Q)∨?((R??Q)??T)=?Q∨?R P=F时, 原式=?(F?Q)∨?((R??Q)??F)=F 所以有: 成假解释为：(P,Q,R)=(T,T,T), (F,?, ?);主合取范式和主析取范式紧密相关;主合取范式和主析取范式的唯一性;1.3.3 范式的应用;问： 对”此门后是否有宝藏”问题, 你的同伴回答”是”吗？;专家的论证正确吗?;P：国家税收增加 Q：通货膨胀率下降 R：美元贬值(A;本堂课的内容、重点与难点;作业02;课堂练习