目录 9
绪言 数理逻辑的对象与符号的使用法 9
第一章 逻辑代数(上) 9
§1 命题与联结词 9
§2 推理规则 20
§3 关于蕴涵词的讨论 31
§4 构造主义逻辑与直觉主义逻辑 37
§5 命题代数的自然推理系统 43
§6 命题代数(演算)的公理系统 67
§7 永真推理过程 80
§8 指派与赋值 86
§9 联结词的归纳 97
§10 永真假性 100
§11 关于上述公理系统的讨论 106
第二章 逻辑代数(下) 112
§1 个体与命题 112
§2 函词与谓词 115
§3 变元续论 127
§4 相等词 132
§5 组合逻辑 138
§6 布尔代数 146
§7 模态逻辑 157
§8 多值逻辑 167
§9 对开关线路的应用 171
第三章 逻辑演算(上) 192
§1 量词 192
§2 摹状词 206
§3 改名、代入与替换 226
§4 构造主义与直觉主义 242
§5 狭义演算的自然推理系统 251
§6 狭义演算的公理系统 283
§7 指派与赋值 298
§8 永真假性 308
§9 永真假性的特征数 327
§10 同永真假性 335
§11 关于公理系统的讨论 345
第四章 逻辑演算(下) 348
§1 约束谓词演算公式 348
§2 主要解释与次要解释 355
§3 次要永真公式的公理系统 359
§4 应用谓词演算总论 363
§5 集合论演算 367
§6 全总谓词演算系统 376
§7 形式公理系统的简化(上) 381
§8 形式公理系统的简化(下) 384
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《激光加工实训技能指导理实一体化教程 下》王秀军,徐永红主编;刘波,刘克生副主编 2017
- 《AutoCAD 2019 循序渐进教程》雷焕平,吴昌松,陈兴奎主编 2019
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《Photoshop CC 2018基础教程》温培利,付华编著 2019
- 《剑桥国际英语写作教程 段落写作》(美)吉尔·辛格尔顿(Jill Shingleton)编著 2019
- 《英语自学进阶教程全6册 3》爱尔兰迪尔德丽出版社著 2019
- 《雅马哈管乐队训练教程 降E调单簧管 分谱》Japan Band Clinic委员会 2019
- 《线性代数简明教程》刘国庆,赵剑,石玮编著 2019
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《英国皇家舞蹈学院舞蹈等级考试教材 组合与舞蹈 四级》陈婷译 2019
- 《蓬莱学院 4 大漠之王》古月奇 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《天水师范学院60周年校庆文库 新工科视域下的工程基础与应用研究》《天水师范学院60周年校庆文库》编委会编 2019
- 《西单大杂院-北京老舍文学院首届中青年作家高研班学员小说作品集》北京老舍文学院编 2019
- 《国之重器出版工程 云化虚拟现实技术与应用》熊华平 2019
- 《新闻出版博物馆 总第33期》新闻出版博物馆 2018
- 《南京师范大学110周年 美术学院》宋永忠总主编 2012