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