数理逻辑入门PDF电子书下载

目录 1

命题逻辑和谓词逻辑 1

一、命题逻辑 1

§1 逻辑研究什么？ 1

§2　逻辑与自然语言 2

§3 命题 3

§4 联接符号 3

§5 命题符号 9

§6 真值表 9

§7 永真命题与永假命题 11

§8 演绎推理 13

§9 命题推演：自然演绎法 15

§10　基本加行规则 18

§11　直接证明法 21

§12　间接证明法 24

§13　非蕴涵式的证明法 25

§14 命题逻辑的定理和派生规则 26

§15　命题逻辑的公理系统 48

§16　公理系统的方法论 52

§17　公理系统的无矛盾性 55

§18　公理系统的独立性 58

§19　模型，解释 61

二、谓词逻辑 62

§20　谓词逻辑与命题逻辑 62

§21　量词，辖域 65

§22　一阶谓词逻辑的基本规则 68

§23　一阶谓词逻辑的定理和派生规则 72

§24　一阶谓词逻辑的公理系统 86

附录：〔美〕《哲学百科全书·现代逻辑》 96

命题逻辑：非形式化的简介 96

一阶谓词逻辑：非形式化的简介 109

形式化的命题逻辑：命题演算 121

形式化的初等逻辑：一阶谓词演算 138

初等逻辑与高等逻辑 152