现代逻辑PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:(法)格里兹(Grize,J.B.)著;李锡胤译
- 出 版 社:北京:社会科学文献出版社
- 出版年份:1989
- ISBN:7800500853
- 页数:177 页
图书介绍:
《现代逻辑》目录
标签:逻辑
第一章 命题逻辑(一) 素朴演绎 1
1.1 演绎例释 1
1.2 一般规则 3
1.3 条件命题 7
1.4 合取命题 15
1.5 双边条件命题 17
1.6 定理 元定理 衍生规则 19
1.7 蕴涵关系与等值关系 25
1.8 析取命题 28
1.9 否定 33
第二章 一阶谓词逻辑(一) 量词的素朴应用 45
2.1 命题的分析 45
2.2 命题函式与量词 47
2.3 自由变项与约束变项 49
2.4 本系统所用材料 51
2.5 全称量词 53
2.6 存在量词 60
2.7 衍生规则 66
2.8 关于三段论 69
2.9 关系的若干性质 78
第三章 命题逻辑(二) 真值表 93
3.1 真值表 93
3.2 重言式 99
3.3 十六个双项算符 107
3.4 范式 113
3.5 I,N,R,D 121
3.6 公理化 126
3.7 命题逻辑的若干性质 131
第四章 一阶谓词逻辑(二) 137
4.1 谓词逻辑的范围 137
4.2 有效性概念 141
4.3 谓词逻辑的公理化 147
4.4 谓词逻辑的若干性质 152
4.5 同一关系 156
4.6 类与关系 160
4.7 关于类与关系的几点补充 170
相关图书
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
- 《确证难题的逻辑研究》顿新国著;张建军主编 2019
- 《普京 权力的逻辑》(德国)胡贝特·塞佩尔 2019
作者其它书籍
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
出版社其它书籍
- 《红色旅游的社会效应研究》吴春焕著 2019
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《近代世界史文献丛编 19》王强主编 2017
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《近代世界史文献丛编 36》王强主编 2017
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《凯恩斯文集 第13卷 社会、政治和文学论集》严忠志译 2018
- 《近代世界史文献丛编 11》王强主编 2017
- 《近代世界史文献丛编 18》王强主编 2017