- 装帧:平装
- 作者:杜国平
- ISBN:9787522721002
- 出版日期:2023-5-1
- 书名:中国表示法及其逻辑研究
- 出版社:中国社会科学出版社
- 开本:24cm
本书首次全面、系统地阐述了中国表示法的理论缘起、核心思想及其应用技术,特别是探讨了中国表示法中括号之于逻辑联结词、量词和模态词等的表达功能;基于逻辑常项的中国表示法重新构建了更加简洁的二值逻辑系统;基于括号表示法系统构建了三值逻辑系统,严格证明了三值逻辑是二值逻辑的扩充,纠正了长期以来认为“三值逻辑是二值逻辑的限制”错误观点,对三值逻辑的直观性进行了细致的分析和刻画;运用中国表示法对三值逻辑函数进行了研究,重点研究了三值逻辑Sheffer函数,基于中国表示法对三值逻辑Sheffer函数的表达能力重新进行了自足的证明。