一、性质命题内部结构的现代谓词分析 二、关系命题内部结构的现代谓词分析 三、一元谓词演算的自然演绎推证分析 四、二元谓词演算的自然演绎推证分析

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

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

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

1.贸易条约与协定的概念、种类及其适用的法律原则; 2.关税与贸易总协定的概况及其作用; 3.世界贸易组织的概况及其特点; 4.“入世”后中国经济的发展所面临的机遇和挑战

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

第一节 逻辑基本规律的地位及条件 第二节 同一律 第三节 矛盾律 第四节 排中律 第五节 逻辑规律之间的关系 第六节 逻辑规律在日常思维中的运用

在推理小说《血字的研究》中,福尔摩斯勘查了一件谋杀案的现场后,对该案的凶手 进行了分析认定: “‘这是一件谋杀案。凶手是个男人,他六尺多高,正当中年…着一双粗皮方头 靴子,抽的是印度雪茄烟… 雷斯垂德(官方侦探)问道:‘如果这个人是杀死的,那么又是怎样谋杀的呢? 毒死的。’福尔摩斯简单地说

第一节 命题概述 第二节 命题的分类和命题形式 第三节 命题形式的逻辑性质和真值表 第四节 真值函项 第五节 多重复合命题语句的符号化

第一节 归纳逻辑概述 第二节 简单枚举归纳推理 第三节 科学归纳推理 第四节 探寻现象间因果关系的逻辑方法 第五节 概率归纳推理 第六节 统计归纳推理 第七节 类比推理