- 作 者：金守臣编著
- 出 版 社：济南：山东大学出版社
- 出版年份：1987
- ISBN：7560700349
- 标注页数：200 页
- PDF页数：208 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源208 ≥200页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 导论 1
第一节 什么是现代形式逻辑 1
第二节 为什么要学习现代形式逻辑 6
第二章 自然演绎 11
第一节 概述 11
第二节 假言(蕴涵式)论证的有效形式 14
第三节 选言(析取式)论证的有效形式 18
第四节 联言(合取式)论证的有效形式 22
第五节 否定式论证的有效形式 23
第六节 全称量化论证的有效形式 26
第七节 特称量化论证的有效形式 33
第一节 概述 40
第三章 命题演算(上) 40
第二节 命题演算的基本概念 42
第三节 复合命题的形式与真假 47
第四节 真值函应 50
第五节 真值表 55
第六节 重言式与矛盾式 63
第四章 命题演算(下) 70
第一节 公理系统和形式系统 70
第二节 命题演算的初始符号与规则 72
第三节 命题演算的定义、公理与定理 78
第五章 词项演算(上)——类演算 85
第一节 概述 85
第二节 类演算的基本概念 87
第三节 类演算之文氏(Venn)图解 96
第四节 类演算的基本公设、定义与推演规则 100
第五节 类演算定理的推演 102
第六节 类演算与古典逻辑的形式化 108
第六章 词项演算(下)——谓词演算 115
第一节 概述 115
第二节 谓词演算的基本概念 117
第三节 谓词演算的命题形式和推理形式 128
第四节 谓词演算的公理系统 134
第五节 公理系统的相容性、完备性性和独立性 142
第七章 形式化证明(上)——演绎证明中的定义与逻辑等值 145
第一节 定义及其运用 145
第二节 逻辑等值 151
第三节 逻辑等值在有效证明中的运用 155
第一节 有效性之真值表验证 161
第八章 形式化证明(中)——真值表验证 161
第二节 真值表之归谬法验证 163
第三节 相容性之真值表验证 169
第四节 量化论证之真值表验证 173
第九章 形式化证明(下)——条件有效证明与间接证明 176
第一节 条件有效证明 176
第二节 间接有效证明 179
第三节 量化论证之条件与间接验证 183
第十章 现代形式逻辑的历史发展 187
第一节 初创阶段 187
第二节 全面确立时期 193
第三节 理论的扩展、深化阶段 195
后记 199