一、什么是论证？ 论证就是用一个（或一些）真实命题确 定另一命题真实性的思维过程。 例：并非所有社会现象都有阶级性。 因为语言是社会现象，而语言是无阶 级性的。 这就是一个论证

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

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

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

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

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

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

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

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

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