第一节 概念的概述 第二节 概念的内涵和外延 第三节 概念的种类 第四节 概念间的关系 第五节 概念的限制和概括 第六节 定义 第七节 划分

一、性质命题内部结构的现代谓词分析 二、关系命题内部结构的现代谓词分析 三、一元谓词演算的自然演绎推证分析 四、二元谓词演算的自然演绎推证分析

第一节 概念及其特征 一、什么是概念？ 概念是反映对象特有属性或本质属性的思维形式。 1、对象：是指自然界、人类社会、精神领域的各种事物。 2、属性：是指事物的性质、事物与事物之间的关系

一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。真值联结词主要有五个：¬（否定）、∧（合取）、∨（析取）、→（蕴涵）、←→（等值）

一、命题、判断与语句 （一）命题 命题是通过语句来反映事物情况的思维形式。 命题的主要特征：命题有真假。 （二）判断 判断就是被断定了的命题。 判断的主要特征：有所断定。 （三）语句 语句是一组表示事物情况的声音或笔画。 命题与语句之间的关系：既有联系也有区别

一、完全真值表法的判定功用 二、归谬赋值法的操作与判定 三、命题演算证明方法的应用与构造

第一节 归纳推理概述 第二节 完全归纳推理与不完全归纳推理 第三节 穆勒五法 第四节 概率推理（略） 第五节 统计推理（略）

第一节联言命题及其推理 一、什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题,它反映的是同一对象或不 同对象的不同属性的共同性和相容性。例如:

7.1 可编程逻辑器件概述 7.2 可编程逻辑器件基础 7.3 通用阵列逻辑GAL

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论