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

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

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

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

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

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

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

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

本书是自黑格尔著《哲学全书》中第一部《逻辑学》译 出。这书讲黑格尔哲学的人有时称《全书本逻辑学》,有时称 《小逻辑》,以示有别于他的较大的两厚册《大逻辑》而言。此 册译本称为《小逻辑》,取其方便易于辨别。小逻辑或大逻辑 是后人用来区别这两种逻辑学的名词,并不是黑格尔原来的 书名。 因为本书名叫《小逻辑》,一提到《小逻辑》就会令人联 想到《大逻辑》

命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化