［Ｇｅｎｅｒａｌ　Ｉｎｆｏｒｍａｔｉｏｎ］

书名＝数学逻辑与推理
作者＝（英）Ｄ．Ａ．约翰逊　　Ｄ．Ｆ．泰勒
页数＝９６
ＳＳ号＝１０４４１８９４
出版日期＝１９８４年０３月第１版
封面页
书名页
版权页
目录
一、思维和推理的作用
　　　　１．当我们思索时发生了什么？
　　　　２．语言和逻辑
　　　　３．真实、事实和错觉
二、归纳法
　　　　１．盖然推断
　　　　２．尝试法
三、演绎法
　　　　１．从假设到定理
　　　　２．演绎法的一个例子
四、数学关系的证明
　　　　１．合理就为真吗？
　　　　２．使用维恩图推理
　　　　３．真实和证明
　　　　４．表明各种可能的关系
　　　　５．逆命题
　　　　６．否命题
　　　　７．逆否命题
　　　　８．必要和充分条件
　　　　９．间接证明（反证法）
　　　　１０．一个用间接证法的游戏
　　　　１１．智力游戏和推理
五、数学的逻辑结构
　　　　１．逻辑结构的基础
　　　　２．不加定义的术语
　　　　３．定义
　　　　４．几何学的逻辑结构
　　　　５．算术和代数的逻辑结构
六、再谈逻辑
　　　　１．真值表
　　　　２．否命题
　　　　３．逻辑智力难题
　　　　４．用电子线路作逻辑推理
练习答案