07-08(2)逻辑学复习

Baidu Nhomakorabea 第五节 NP系统
♦ 七、关于联结词的一些逻辑规律 ♦ 八、关于演绎推理的一些性质 ♦ 九、命题逻辑形式语言的语义解释 ♦ 十、命题逻辑自然推理系统NP的性质
1、形式语言
♦初始符号 ♦形成规则 ♦定义 ♦知识点：掌握形成规则，为
下面的形式推导和语义分析 服务。
2、推导规则
♦基本规则：合取的消去与引入，
第一章 绪论（了解）
♦首先，抓住逻辑常项 逻辑常项：它是逻辑 逻辑常项
词，直接表达某种思维形态的意 义。 ♦其次，看准逻辑变项：它是非逻 辑词，是代替某种思维内容的符 号。
第二章 语言（第四节 ）
♦ 一、什么是词项 ♦ 二、词项的种类 ♦ 三、词项外延间的关系 ♦ 四、明确词项的逻辑方法 ♦ 知识点：1、词项种类的分析 ♦ 2、词项外延间的关系分析 ♦ 3、明确词项的逻辑方法应用
延 ♦ 3、前提与结论的否定命题数目相等
三段论的知识点
♦1、格、式（三段论形式的分析
辨别） ♦2、利用规则由前提正确的得出 结论 ♦3、三段论（包括省略三段论） 的（补足）分析、判定。
第四章 命题逻辑 基础知识
♦命题和语句 ♦命题分为模态命题和非模态命题 非模态命题 ♦非模态命题又分为复合命题和简
析取的消去与引入，蕴含的消去 ♦特别是反证法（¬-）和演绎定理 反证法（ ） 反证法 （→+） ） ♦导出规则 ♦等值置换规则 ♦知识点：掌握规则并灵活应用 掌握规则并灵活应用。 掌握规则并灵活应用
3、推出关系
♦1、在一些推出关系中找出形式
正确的推理 。 ♦2、判定一个推出形式是 系统 判定一个推出形式是NP系统 判定一个推出形式是 的推出关系。 的推出关系。 ♦3、用NP系统方法分析、判定一 分析、 分析 个自然语言表达的推理正确。 个自然语言表达的推理正确。
♦ 真值表（法）
p T T F F q T F T F ¬p T F T T p∧q T F F F p∨q T T T F p→q T F T T
第五章 谓词逻辑
♦第一节 简单命题的形式分析 ♦第二节 一阶语言及其解释 ♦第三节 量词推理规则 ♦第四节 谓词逻辑的自然推理系
统
第一节 简单命题的形式分析
♦ 1、谓词逻辑把简单命题分析为：个
体词、谓词、量词、联结词 ♦ 2、区分：个体词、谓词、量词、命 题、命题函数等不同表达式。 ♦ 3、把自然语句分析为谓词形式。 （注意定义域的设定、谓词的指定、 定义域的设定、 定义域的设定 个体常项的指定、量词和联结词的 搭配）
基本题型
♦一、填空 ♦二、单选 ♦三、多选 ♦四、欧拉图 ♦五、词项逻辑分析简答
定否定式
2、复合命题推理
♦假言命题推理 假言命题推理：肯定前件式、否
定前件式、肯定后件式、否定后 件式。 ♦其他常见的推理 ♦知识点：1、推理的形式分析 知识点： 、 ♦2、推理的形式辨别 、
第五节 NP系统
♦一、命题逻辑的形式语言 ♦二、有前提的形式推演 ♦三、推理规则 ♦四、直接证明 ♦五、条件证明 ♦六、反证法和归谬法
第三章 词项逻辑
♦第一节 直言命题 ♦第二节 直接推理 ♦第三节 三段论
第一节 直言命题
♦ 一、直言命题及其结构 ♦ 二、直言命题的种类 ♦ 三、直言命题的主、谓项的周延性 ♦ 知识点：1、结构：主项、谓项、联
项、量项 ♦ 2、种类：A、E、I、O ♦ 3、周延理论 周延理论
第二节 直接推理
♦一、对当关系及其推理 ♦二、变形推理 ♦知识点：1、对当关系的意义、
逻辑学复习
第一章 ♦ 第二章 ♦ 第三章 ♦ 第四章 ♦ 第五章 绪论 语言（第四节 词项） 传统词项逻辑 命题逻辑（含命题基础） 谓词逻辑
第一章 绪论（了解）
♦逻辑学是研究思维形式 思维形式及其规律 思维形式
以及逻辑方法的科学。 ♦思维形态（类型）有：概念（词 项）、命题、推理 命题、 命题 推理。 ♦如何对自然语言进行形式（逻辑） 分析？
4、语义解释及真值表
♦语义解释：指派和赋值 ♦知识点：在给定指派 指派的基础 指派
上求一个公式的赋值 赋值
4、语义解释及真值表
♦真值表法 真值表法知识点： ♦1、用真值表法判定一个推理
具有语义推出关系。 ♦2、用真值表法解决实际问题 用真值表法解决实际问题。 用真值表法解决实际问题
命题逻辑的语义基础
1、各种命题的形式分析
♦负命题、联言命题、选言命题、 选言命题、 选言命题
假言命题的分析 ♦知识点1、基本的形式分析、辨 基本的形式分析、 基本的形式分析 别 ♦2、基本的真值关系 、 ♦3、等值 等值与矛盾分析、辨别 等值
2、复合命题推理
♦负命题推理：双重否定律 ♦联言命题推理：组合式、分解式 ♦选言命题推理：否定肯定式、肯
基本题型
♦六、命题逻辑分析简答 ♦七、真值表 ♦八、命题逻辑分析推导 ♦九、判断
分析 ♦2、辨别一个推理是否正确的对 当关系推理 ♦3、正确的变形推理的应用
第三节 三段论
♦一、三段论及其结构 ♦二、三段论的规则 ♦三、判定三段论有效性的步骤 ♦四、省略三段论的分析判定
三段论的基础理论
♦ 基础知识：项、命题。 ♦ 基本形式：格、式。 ♦ 基本规则：1、中项至少周延一次 ♦ 2、前提中不周延的项结论中不得周
单命题： ♦复合命题 复合命题：由联结词连接若干命 题而形成的命题。
第四章 命题逻辑 基础知识
♦简单命题 简单命题：不包含其他命题的命
题。 ♦二值原则
第一至四节 复合命题及其推理
♦第一节、负命题（¬）及其推理 ♦第二节、联言命题（∧）及其推
理 ♦第三节、选言命题 选言命题（∨）及其推 选言命题 理 ♦第四节、假言命题（→,←,↔） 假言命题（ ← ↔ 假言命题 及其推理