#
第一部分 数理逻辑命题逻辑的基本概念1什么是命题2合取(与)析取(相容或排斥或)蕴涵(几种特例)3掌握命题符号化的方法(如何抽取命题采用哪些逻辑联结词)命题逻辑等值演算1几种常用的等值式和定律P172掌握一定的等值演算法3掌握概念:文字简单析取式简单合取式析取范式合取范式极大项极小项主析取范式主合取范式4掌握求取一个合式公式的主析取范式和主合取范式的方法5理解主析取范式主合取范式与真值表的对应关系
#
#
#
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级总复习第一章 命题逻辑1. 判断句子是否为命题.2. 命题符号化. 原子命题:不能再分割的子句.3. 五种基本联结词优先级.4. 求已知命题公式的对偶公式.5. 求主析取范式主合取范式.6. 等价变换课本P33. 命题公式等价的实质——真值表相同.7. 直接推演(注意:一定要按步骤写每用一次I公
125 《离散数学》期末复习提要《离散数学》是中央电大“数学与数学应用专业”(本科)的一门选修课。该课程使用新的教学大纲,在原有离散数学课程的基础上削减了教学内容(主要是群与环、格与布尔代数这两章及图论的后三节内容),使用的教材为中央电大出版的《离散数学》(刘叙华等编)和《离散数学学习指导书》(虞恩蔚等编)。离散数学主要研究离散量结构及相互关系,使学生得到良好的数学训练,提高学生抽象思维和逻辑推
#
#
离散数学复习提纲命题逻辑1.(PQ)(QR)的主合取范式和主析取范式2.试求下列公式的主析取范式:(1)(2)(an: )3.用真值表判断下列公式是恒真恒假可满足(1)(P??P)?Q(2)?(P?Q)?Q(3)((P?Q)?(Q?R))?(P?R) (an: 解: 真值表P Q?P P??P (P??P)?Q0
违法有害信息,请在下方选择原因提交举报