《数学逻辑与推理》求取 ⇩

一、思维和推理的作用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

1984《数学逻辑与推理》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由(英)约翰逊(D.A.Johnson),(美)泰勒(D.F. 1984 北京:科学出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

数理逻辑(1993 PDF版)
数理逻辑
1993 长沙:国防科技大学出版社
逻辑与数学逻辑论(民国16.12 PDF版)
逻辑与数学逻辑论
民国16.12 商务印书馆
数理逻辑(1986.11 PDF版)
数理逻辑
1986.11 华东师范大学出版社
数理逻辑(1992 PDF版)
数理逻辑
1992 广州:华南理工大学出版社
智断疑案与逻辑推理(1988 PDF版)
智断疑案与逻辑推理
1988 重庆:重庆出版社
数理逻辑(1990 PDF版)
数理逻辑
1990 上海:华东化工学院出版社
刑事案件与逻辑推理(1986 PDF版)
刑事案件与逻辑推理
1986 昆明:云南人民出版社
数理逻辑(1984 PDF版)
数理逻辑
1984 北京:高等教育出版社
数理逻辑(1990 PDF版)
数理逻辑
1990 杭州:浙江大学出版社
战例逻辑推理(1988.12 PDF版)
战例逻辑推理
1988.12 北京市:军事科学出版社
合情推理与发现逻辑(1994 PDF版)
合情推理与发现逻辑
1994 贵阳:贵州科技出版社
数学、逻辑与哲学(1987 PDF版)
数学、逻辑与哲学
1987 武汉:湖北人民出版社
逻辑推理集锦(1985 PDF版)
逻辑推理集锦
1985 北京:光明日报出版社
科学推理的逻辑(1990 PDF版)
科学推理的逻辑
1990 北京:科学出版社
数理逻辑(1986 PDF版)
数理逻辑
1986 上海:华东师范大学出版社