逻辑图表论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

逻辑图表论PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 真值表1

第一节 真值表源流1

第二节 真值表及真值形式4

2.1真值表与语言4

2.2逻辑联结词（connective）与真值形式（truth-value form）6

2.3真值表的判定步骤7

2.4真值形式的种类9

第三节 真值表与简单命题16

3.1真值表与性质命题（proposition of nature）16

3.2真值表在性质命题中的应用16

第四节 真值表与复合命题的逻辑性质19

4.1联言命题（conjunctive proposition）的逻辑性质19

4.2选言命题（disjunctive proposition）的逻辑性质20

4.3假言命题（hypothetical proposition）的逻辑性质21

4.4负命题（negative of proposition）的逻辑性质23

第五节 真值表与等值命题的判定25

5.1负复合命题及其等值命题25

5.2负复合命题及其等值命题的引伸28

5.3真值表与复合命题之间的等值转换31

第六节 真值表方法的简化41

6.1命题真值的整体判定法41

6.2直观判定法44

6.3简化真值表方法（simplified method of truth table）48

6.4真值表的简化与三段论的有效式54

第七节 真值树法——简化真值表方法的另一种形式59

7.1真值树法及其判定步骤59

7.2真值树法判定例举61

第八节 真值表的逻辑工具功能65

8.1定义逻辑联结词，反映复合命题的逻辑性质65

8.2准确地判定复合命题间的逻辑关系65

8.3推导简单复合命题推理规则的逻辑根据69

8.4检验复合推理的有效性70

8.5确定任何复合命题形式的取值和相应的命题变元的取值72

第九节 真值表在实践思维中的作用77

9.1根据已知命题形式的真假符合逻辑地推知某结论77

9.2根据某结论推知命题形式的真假80

9.3证明某句段是否具有逻辑性81

9.4结合关系表，对相对复杂的题干关系进行推演82

第十节 真值表的缺陷85

10.1真值表对某些蕴涵式的有效性无法进行判定85

10.2真值表各判定方法的非协调性87

第二章 逻辑方阵89

第一节 逻辑方阵的产生89

第二节 性质命题与逻辑方阵92

2.1性质命题及其种类92

2.2直言命题的对当关系（opposition of categorical proposition）的推导93

2.3性质命题真假关系的推导95

2.4性质命题的逻辑对当关系的引申99

第三节 复合命题与逻辑方阵102

3.1复合命题之间的逻辑对当关系102

3.2简单命题与复合命题之间的逻辑对当关系109

3.3复合命题之间逻辑对当关系的引申110

第四节 规范命题、时态命题与逻辑方阵114

4.1规范命题（deontic proposition）与规范逻辑方阵114

4.2时态命题与时态逻辑方阵115

第五节 模态命题与模态逻辑方阵116

5.1模态命题（modal proposition）及其分类116

5.2基本模态命题及其模态对当关系（modal opposition）116

5.3模态逻辑六角阵117

5.4模态性质命题与模态逻辑方阵121

5.5模态性质命题真假制约关系的引申125

第六节 复合推理与逻辑方阵129

6.1简单复合命题推理间的逻辑对当关系129

6.2复杂复合命题推理间的逻辑对当关系131

6.3复合命题与复合命题推理之间的逻辑对当关系139

第七节 立体逻辑方阵141

7.1两复合命题及其异变形式之间的真假制约关系141

7.2复合命题的异变形式及其负命题之间的真假制约关系148

7.3简单复合推理形式与立体逻辑方阵154

7.4复杂复合推理形式与立体逻辑方阵160

第八节 逻辑方阵应用例举166

第九节 逻辑方阵的复合形式172

9. 1逻辑八角阵172

9. 2逻辑十角阵174

第十节 逻辑方阵与重言式的形成系统179

10.1逻辑永真式形成系统179

10.2复合命题永真公式形式180

10.3简单命题与复合命题永真公式形式183

第十一节 逻辑方阵与立体逻辑三角阵186

11.1逻辑方阵与直角三角阵186

11.2逻辑方阵与立体逻辑三角阵188

第三章 欧拉图解193

第一节 欧拉图与概念外延之间的关系193

1.1欧拉图的写入语言与读出语言193

1.2欧拉图与概念外延之间的关系194

1.3概念外延之间关系的复杂化196

第二节 欧拉图与性质命题199

2.1欧拉图与性质命题的真假关系199

2.2欧拉图与性质命题“项”的周延性199

2.3欧拉图与性质命题的真假制约关系201

第三节 欧拉图与性质命题直接推理205

3.1对当关系推理205

3.2命题变形的直接推理205

3.3性质命题等值推理208

3.4关于O命题的换位问题210

第四节 欧拉图与三段论（syllogism）212

4.1欧拉图与三段论公理212

4.2欧拉图与三段论规则214

4.3欧拉图与三段论的格223

第五节 三段论的式237

5. 1欧拉图与三段论的简单式237

5.2欧拉图与三段论的复合式238

第六节 欧拉图的缺陷247

6.1用单纯的标准圆不能完全反映概念之间客观上存在的各种关系247

6.2欧拉图图形繁多248

6.3用欧拉图验证三段论有效性时会产生歧义250

第四章 文恩图257

第一节 文恩图概述257

1.1从欧拉图到文恩图257

1.2文恩图的构成258

第二节 性质命题的文恩图表达形式260

第三节 文恩图与三段论的式262

3.1用文恩图证明三段论有效性的步骤262

3.2用文恩图证明三段论有效式263

第四节 文恩图与复合三段论271

第五节 文恩图的缺陷274

5.1文恩图的区域缺陷274

5.2文恩图的歧义缺陷275

附录一 外国人名索引279

附录二 主要参考文献280

后记284