数理逻辑入门

作者：李锡胤编译
出版社：北京：知识出版社
出版年份：1984
ISBN：2214·6
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

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

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

云解压服务说明

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

云解压下载及付费说明

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

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

目录 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