当前位置：相干与衍推逻辑pdf电子书下载 > 数理化
- 作 者：冯棉著
- 出 版 社：上海：上海人民出版社
- 出版年份：1993
- ISBN：7208015325
- 标注页数：254 页
- PDF页数：263 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源263 ≥254页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
序 程其襄 1
前言 1
第一章 重言衍堆 1
§1．1 真值联结词 1
§1．2 经典命题逻辑系统P 10
§1．3 重言衍推系统Efde 24
§1．4 衍推范式 35
§1．5 格和滤 46
§1．6 德摩根格和内涵格 54
§1．7 Efde的代数语义 64
第二章 纯蕴涵演算 73
§2．1直觉主义蕴涵 73
§2．2 严格蕴涵和相干蕴涵 83
§2．3 衍推与T蕴涵 92
§2．4 必然性 98
§2．5 相干原理和等价系统 107
第三章 相干命题逻辑 117
§3．1 相干命题逻辑系统R 117
§3．2 系统NR 128
§3．3 内涵联结词和R的一致性 139
§3．4 相干原理 148
§3．5 R理论 155
§3．6 r的可接受性 163
§3．7 R的语义模型 173
§3．8 系统R的可靠性与完全性 180
第四章 系统R的近邻 192
§4．1 衍推命题逻辑系统E和NE 192
§4．2 系统T和系统RM 206
§4．3 模态命题逻辑系统S4 215
§4．4 克里普克语义 228
§4．5 进一步的讨论 243
主要参考文献 253