一、推理及其种类 二、有效推理与正确推理 三、命题推理及其特征 四、蕴涵析取推理及其应用

第一节 推理概述 第二节 命题推理的基本形式及规则 第三节 命题推理的扩展形式 第四节 命题推理在实际思维中的应用

第一节类比推理 一、类比推理及其特征 类比推理是根据两个(或两类)对象在一系列属性上是相同(或相似)的,并且已知其 中的一个(或一类)对象还有其他特定的属性,由此推出,另一个(或一类)对象也具有同 样的其他特定属性的推理方法

一、什么是模态命题？ 模态命题是反映事物可能性或必然性的命题。 例1：共产主义必然胜利。 例2：明天可能不下雨。 这些都是模态命题。前者反映了共产主义胜利具有必然性。后者反映了明天不下雨具有可能性

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

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

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

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

• 组合逻辑电路和时序逻辑的概念； • 组合逻辑电路设计实例； • 时序逻辑电路设计实例

一、三种基本逻辑关系： 1.与逻辑： 2.或逻辑： 3.非逻辑：