实验逻辑学PDF电子书下载

前言 1

第1编 LPL Software简介 3

第1章 Tarski's World 7.0简介 3

1.1 启动 3

1.2 世界控制板 13

1.3 语句控制板 16

1.4 验证语法和真 19

1.5 玩游戏 20

1.6 偏好 23

第2章 Fitch 3.2 简介 25

2.1 启动 25

2.2 创建和编辑证明 31

2.3 目标 38

2.4 复制和粘贴 38

2.5 打印证明 40

2.6 建立练习 41

2.7 参数设置 42

第3章 Boole 3.1 简介 43

3.1 启动 43

3.2 编写真值表 47

3.3 指定评价 48

3.4 验证表 48

3.5 保存或打印表 48

3.6 选择参数 49

第2编 实验逻辑学 53

第4章 原子语句 53

4.1 原子语句 53

4.2 广义的一阶语言 64

4.3 函数符号 66

4.4 集合论的一阶语言 68

第5章 原子语句的逻辑 69

5.1 有效和可靠的论据 69

5.2 在Fitch中构造证明 77

5.3 非后承的证明 98

第6章 布尔联结词 105

6.1 否定符号？ 105

6.2 合取符号＾ 111

6.3 析取符号？ 116

6.4 圆括号 121

6.5 等值式 126

6.6 翻译 130

第7章 布尔联结词逻辑 137

7.1 重言式和逻辑真 137

7.2 逻辑等值和重言等值 149

7.3 逻辑后承和重言后承 152

7.4 在Fitch中的重言后承 155

7.5 移动否定符号 161

7.6 合取和析取范式 163

第8章 布尔逻辑的证明方法 166

8.1 分情况证明 166

8.2 间接证明：矛盾证明 167

第9章 形式证明和布尔逻辑 169

9.1 合取规则 169

9.2 析取规则 171

9.3 否定规则 176

9.4 子证明的正确使用 183

9.5 计划和策略 184

9.6 没有前提的证明 191

第10章 蕴涵 198

10.1 实质蕴涵符号→ 198

10.2 真值函项的完全性 212

第11章 蕴涵的逻辑 216

11.1 证明的非形式方法 216

11.2 →和？证明的形式规则 218

11.3 可靠性和完全性 234

11.4 有效论证 235

第12章 量词 242

12.1 公式和闭公式 242

12.2 量词语义 244

12.3 四种亚里士多德形式 246

12.4 翻译复杂的名词词组 253

12.5 量词和函数符号 265

12.6 各种符号 266

第13章 量词的逻辑 267

13.1 一阶有效性和一阶后承 267

13.2 一阶等值式和德摩根律 272

13.3 其他量词化等值式 274

13.4 公理化方法 280

13.5 引理 281

第14章 多重量词 286

14.1 一个量词的多重用法 286

14.2 混合量词 298

14.3 一步一步的翻译方法 307

14.4 释义英语 311

14.5 含糊和语境制约 317

14.6 前束范式 320

14.7 一些另外的翻译 322

第15章 量词的证明方法 327

15.1 一般条件的证明方法 327

15.2 包含混合量词的证明 330

15.3 公理化的形状 334

第16章 形式证明与量词 336

16.1 全称量词规则 336

16.2 存在量词规则 342

16.3 策略和手段 349

16.4 可靠性和完全性 368