图书简介
本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构唯一性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
作者简介
图书目录
相关推荐
-
图书 STIT逻辑研究
作者:贾青
图书 STIT逻辑研究
-
2
图书 墨经逻辑研究
作者:杨武金
图书 墨经逻辑研究
-
3
图书 汉传因明的逻辑研究
作者:傅光全
图书 汉传因明的逻辑研究
-
4
图书 确证难题的逻辑研究
作者:顿新国
图书 确证难题的逻辑研究
-
5
图书 反基础公理的逻辑研究
作者:李娜
图书 反基础公理的逻辑研究
-
6
图书 法律逻辑与侦查逻辑研究
作者:印大双
图书 法律逻辑与侦查逻辑研究
-
7
图书 中国40年改革实践的理性逻辑研究
作者:李明
图书 中国40年改革实践的理性逻辑研究
-
8
图书 教师个人教学逻辑研究
作者:董静 彭寿清 冉隆锋
图书 教师个人教学逻辑研究
-
9
图书 防策略投票理论的逻辑研究
作者:孙雯
图书 防策略投票理论的逻辑研究
-
10
图书 科学、技术与社会视角下的逻辑研究
作者:臧艳雨
图书 科学、技术与社会视角下的逻辑研究
豆瓣评论