第一部分主要内容.pptVIP

第一章主要内容 第一章学习要求 在5种联结词中，要特别注意蕴涵联结的应用，要弄清三个问题： p→q 的逻辑关系 p→q 的真值 p→q 的灵活的叙述方法 写真值表要特别仔细认真，否则会出错误。 深刻理解各联结词的逻辑含义。 熟练地将复合命题符号化。 会用真值表求公式的成真赋值和成假赋值。 本章典型习题 命题符号化 求复合命题的真值与命题公式的赋值 判断公式的类型 第二章主要内容 等值式与等值演算。 基本的等值式，其中含：双重否定律、幂等律、交换律、结合律、分配律、德·摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论。 与主析取范式及主合取范式有关的概念：简单合取式、简单析取式、析取范式、合取范式、极小项、极大项、主析取范式、主合取范式。 本章学习要求 深刻理解等值式的概念。 牢记24个基本等值式，这是等值演算的基础；能熟练地应用它们进行等值演算。 了解简单析取式、简单合取式、析取范式、合取范式的概念。 深刻理解极小项及极大项的定义及它们的名称，及名称下角标与成真赋值的关系。 熟练掌握求公式的主析取范式的方法。 熟练掌握由公式的主析取范式求公式的主合取范式的方法。 会用公式的主析取范式（主合取范式）求公式的成真赋值、成假赋值。 本章典型习题 用等值演算法证明重言式和矛盾式 用等值演算法证明等值式 求公式的主析取范式和主合取范式 用主范式判断两个公式是否等值 求解实际问题 第三章主要内容 推理的形式结构：?推理的前提?推理的结论?推理正确 判断推理是否正确的方法：?真值表法?等值演算法?主析取范式法 ? 对于正确的推理，在自然推理系统P中构造证明: ?自然推理系统P的定义（1.字母；2 合式公式；3.12条推理规则） ?自然推理系统P的推理规则：?附加前提证明法?归谬法 本章学习要求 理解并记住推理的形式结构的三种等价形式，即①{A1,A2,…,Ak}├B②A1∧A2∧…∧Ak→B③前提：A1,A2,…,Ak??? 结论：B 在判断推理是否正确时，用②；在P系统中构造证明时用③。? 熟练掌握判断推理是否正确的三种方法（真值表法，等值演算法，主析取范式法）。? 牢记P系统中的各条推理规则。? 对于给定的正确推理，要求在P系统中给出严谨的证明序列。? 会用附加前提证明法和归谬法。? 第四章主要内容 个体词①个体常项②个体变项③个体域④全总个体域? 谓词①谓词常项②谓词变项③n(n≥1)元谓词④特性谓词? 量词①全称量词②存在量词? 本章主要内容 一阶逻辑中命题符号化? 一阶逻辑公式①原子公式②合式公式（或公式）③闭式 解释 一阶逻辑公式的分类①逻辑有效式（或永真式）②矛盾式（或永假式）③可满足式 本章学习要求 要求准确地将给出的命题符号化：①当给定个体域时，在给定个体域内将命题符号化。②当没给定个体域时，应在全总个体域内符号化。③在符号化时，当引入特性时，注意全称量词与蕴含联结词的搭配，存在量词与合取联结词的搭配。? 深刻理解逻辑有效式、矛盾式、可满足式的概念。? 记住闭式的性质：在任何解释下均为命题。? 对给定的解释，会判别公式的真值或不能确定真值。? 第五章主要内容 等值式与基本的等值式 ①在有限个体域中消去量词等值式 ②量词否定等值式 ③量词辖域收缩与扩张等值式 ④量词分配等值式? 基本规则：置换规则、换名规则、代替规则 前束范式 推理理论：推理的形式结构、推理正确、构造证明 新的推理规则：UI、UG、EI、EG 学习要求 深刻理解重要的等值式，并能熟练地使用它们。 熟练地使用置换规则、换名规则和代替规则。 准确地求出给定公式的前束范式（形式可以不唯一）。 正确地使用UI、UG、EI、EG规则，特别地要注意它们之间的关系。 一定对前束范式才能使用UI、UG、EI、EG规则，对不是前束范式的公式要使用它们，一定先求出公式的前束范式。 记住UI、UG、EI、EG规则的各自使用条件。 在同一推理的证明中，如果既要使用UI规则，又要使用EI规则，一定要先使用EI规则，后使用UI规则，而且UI规则使用的个体常项一定是EI规则中使用过的。 对于给定的推理，正确地构造出它的证明。 * 命题与真值（或真假值）。 简单命题与复合命题。 联结词：┐，∧，∨，→，?。 命题公式（简称公式）。 命题公式的层次和公式的赋值。 真值表。 公式的类型：重言式（永真式），矛盾式（永假式） 可满足式。 小节结束