当前位置：符号逻辑基础pdf电子书下载 > 数理化
- 作 者：宋文淦著
- 出 版 社：北京：北京师范大学出版社
- 出版年份：1993
- ISBN：7303015817
- 标注页数：267 页
- PDF页数：275 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源275 ≥267页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 1
前言……………………………………………………………（iii）第一章绪论 1
1.1 命题及其逻辑关系 1
2.2真值表和真值函数 （4 3
2.5联结词集的完备性 （7 3
1.2联结词和量词 5
1.3 逻辑真理和逻辑推论 9
1.4词项和定义 12
1.5公理系统和形式系统 18
1.6传统形式逻辑 24
1.7 现代形式逻辑 30
第二章命题逻辑 37
2.1命题联结词和复合命题 37
2.3重言式 53
2.4重言蕴涵和可有效推演 64
2.6对偶和范式 79
第三章命题演算 92
3.1命题语言？0 92
3.2命题演算P 102
3.3 P的可靠性和完备性 116
3.4命题演算PN 129
3.5P与PN的等价性 141
第四章一阶谓词逻辑 150
4.1量词和谓词 150
4.2一阶语言？ 164
4.3？的语义 171
4.4？的语义（续） 184
4.5 一阶谓词演算F 207
4.6 F的可靠性和完备性 220
4.7F的完备性（续） 231
4.8 一阶谓词演算FN 248
参考文献 267