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

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

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

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

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

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

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

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

一、谬误的概念及种类 二、非形式谬误的特征 三、谬误的成因

第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律