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