真理是什么呢？亚里士多德认为逻辑与它有关。他的讲义合集《工具论》（O rg a n o n，可 追溯到公元前4世纪）是最早的关于逻辑的详细著作。对于古希腊人而言，逻辑是追寻真理的 过程中用于分析语言的一种手段，因此它被认为是一种哲学。亚里士多德的逻辑学的基础是 三段论。最有名的三段论（它并非是在亚里士多德的著作中发现的）是： (所有的人都是要死的; 苏格拉底是人; 所以,苏格拉底是要死的。)

一、什么是逻辑基本规律？ 逻辑基本规律就人们用概念、命题、推理等思维形式进行思维时必须遵守的最一般的准则。 逻辑基本规律有三条：同一律、矛盾律、排中律

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

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

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

EDA（Electronics Design Automation）即电子 设计自动化技术，是一种以计算机为基本工 作平台，利用计算机图形学、拓扑逻辑学、 计算数学以及人工智能学等多种计算机应用 学科的最新成果而开发出来的一整套软件工 具，是一种帮助电子设计工程师从事电子元 件产品和系统设计的综合技术

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

第一节科学假说 第二节侦查假设

一、命题的特征与种类 二、复合命题的形式表达与刻画 三、复合命题五种联系的逻辑性质与真值表刻画 四、多重复合命题语句符号化的操作方法

一、词项的特征明确方法 二、性质命题的认知与对当关系 三、性质命题主谓项的周延性与传统谓词 四、推理的有效性 五、命题的变形推理考察 六、三段论的分析与应用