第一章 真值表
第一节 真值表源流
第二节 真值表及真值形式
§2.1 真值表与语言
§2.2 逻辑联结词与真值形式
§2.3 真值表的判定步骤
§2.4 真值形式的种类
第三节 真值表与简单命题
§3.1 真值表与性质命题
§3.2 真值表在性质命题中的应用
第四节 真值表与复合命题的逻辑性质
§4.1 联言命题的逻辑性质
§4.2 选言命题的逻辑性质
§4.3 假言命题的逻辑性质
§4.4 负命题的逻辑性质
第五节 真值表与等值命题的判定
§5.1 负复合命题及其等值命题
§5.2 负复合命题及其等值命题的引伸
§5.3 真值表与复合命题之间的等值转换
第六节 真值表方法的简化
§6.1 命题真值的整体判定法
§6.2 直观判定法
§6.3 简化真值表方法
§6.4 真值表的简化与三段论的有效式
第七节 真值树法——简化真值表方法的另一种形式
§7.1 真值树法及其判定步骤
§7.2 真值树法判定例举
第八节 真值表的逻辑工具功能
§8.1 定义逻辑联结词，反映复合命题的逻辑性质
§8.2 准确地判定复合命题间的逻辑关系
§8.3 推导简单复合命题推理规则的逻辑根据
§8.4 检验复合推理的有效性
§8.5 确定任何复合命题形式的取值和相应的命题变元的取值
第九节 真值表在实践思维中的作用
§9.1 根据已知命题形式的真假符合逻辑地推知某结论
§9.2 根据某结论推知命题形式的真假
§9.3 证明某句段是否具有逻辑性
§9.4 结合关系表，对相对复杂的题干关系进行推演
第十节 真值表的缺陷
§10.1 真值表对某些蕴涵式的有效性无法进行判定
§10.2 真值表各判定方法的非协调性
第二章 逻辑方阵
第一节 逻辑方阵的产生
第二节 性质命题与逻辑方阵
§2.1 性质命题及其种类
§2.2 直言命题的对当关系的推导
§2.3 性质命题真假关系的推导
§2.4 性质命题的逻辑对当关系的引申
第三节 复合命题与逻辑方阵
§3.1 复合命题之间的逻辑对当关系
§3.2 简单命题与复合命题之间的逻辑对当关系
§3.3 复合命题之间逻辑对当关系的引申
第四节 规范命题、时态命题与逻辑方阵
§4.1 规范命题与规范逻辑方阵
§4.2 时态命题与时态逻辑方阵
第五节 模态命题与模态逻辑方阵
§5.1 模态命题及其分类
§5.2 基本模态命题及其模态对当关系
§5.3 模态逻辑六角阵
§5.4 模态性质命题与模态逻辑方阵
§5.5 模态性质命题真假制约关系的引申
第六节 复合推理与逻辑方阵
§6.1 简单复合命题推理间的逻辑对当关系
§6.2 复杂复合命题推理间的逻辑对当关系
§6.3 复合命题与复合命题推理之间的逻辑对当关系
第七节 立体逻辑方阵
§7.1 两复合命题及其异变形式之间的真假制约关系
§7.2 复合命题的异变形式及其负命题之间的真假制约关系
§7.3 简单复合推理形式与立体逻辑方阵
§7.4 复杂复合推理形式与立体逻辑方阵
第八节 逻辑方阵应用例举
第九节 逻辑方阵的复合形式
§9.1 逻辑八角阵
§9.2 逻辑十角阵
第十节 逻辑方阵与重言式的形成系统
§10.1 逻辑永真式形成系统
§10.2 复合命题永真公式形式
§10.3 简单命题与复合命题永真公式形式
第十一节 逻辑方阵与立体逻辑三角阵
§11.1 逻辑方阵与直角三角阵
§11.2 逻辑方阵与立体逻辑三角阵
第三章 欧拉图解
第一节 欧拉图与概念外延之间的关系
§1.1 欧拉图的写入语言与读出语言
§1.2 欧拉图与概念外延之间的关系
§1.3 概念外延之间关系的复杂化
第二节 欧拉图与性质命题
§2.1 欧拉图与性质命题的真假关系
§2.2 欧拉图与性质命题“项”的周延性
§2.3 欧拉图与性质命题的真假制约关系
第三节 欧拉图与性质命题直接推理
§3.1 对当代关系推理
§3.2 命题变形的直接推理
§3.3 性质命题等值推理
§3.4 关于O命题的换位问题
第四节 欧拉图与三段论
§4.1 欧拉图与三段论公理
§4.2 欧拉图与三段论规则
§4.3 欧拉图与三段论的格
第五节 三段论的式
§5.1 欧拉图与三段论的简单式
§5.2 欧拉图与三段论的复合式
第六节 欧拉图的缺陷
§6.1 用单纯的标准圆不能完全反映概念之间客观上存在的各种关系
§6.2 欧拉图图形繁多
§6.3 用欧拉图验证三段论有效性时会产生歧义
第四章 文恩图
第一节 文恩图概述
§1.1 从欧拉图到文恩图
§1.2 文恩图的构成
第二节 性质命题的文恩图表达形式
第三节 文恩图与三段论的式
§3.1 用文恩图证明三段论有效性的步骤
§3.2 用文恩图证明三段论有效式
第四节 文恩图与复合三段论
第五节 文恩图的缺陷
§5.1 文恩图的区域缺陷
§5.2 文恩图的歧义缺陷
附录一 外国人名索引
附录二 主要参考文献
后记
鄂公网安备 42010302001612号 