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

从科学研究到日常交流,人们在思维活动中经常要证实某种思想或驳斥某种观点。这 时我们就面临着论证的问题。一个论证过程,往往需要有选择地、创造性地综合运用各种思 维形式与思维规律

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

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

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

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

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

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

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

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