数学逻辑与推理

作者：（英）约翰逊（D.A.Johnson），（美）泰勒（D.F.Taylor）著；向延育译
出版社：北京：科学出版社
出版年份：1984
ISBN：13031·2503
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
6
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

一、思维和推理的作用 1

1．当我们思索时发生了什么？ 1

2．语言和逻辑 4

3．真实、事实和错觉 6

二、归纳法 14

1．盖然推断 14

2．尝试法 16

三、演绎法 19

1．从假设到定理 19

2．演绎法的一个例子 27

四、数学关系的证明 29

1．合理就为真吗？ 29

2．使用维恩图推理 30

3．真实和证明 37

4．表明各种可能的关系 39

5．逆命题 43

6．否命题 45

7．逆否命题 46

8．必要和充分条件 47

9．间接证明（反证法） 50

10．一个用间接证法的游戏 52

11．智力游戏和推理 53

五、数学的逻辑结构 58

1．逻辑结构的基础 58

2．不加定义的术语 60

3．定义 61

4．几何学的逻辑结构 62

5．算术和代数的逻辑结构 63

六、再谈逻辑 72

1．真值表 72

2．否命题 73

3．逻辑智力难题 81

4．用电子线路作逻辑推理 85

练习答案 89