ISBN:978-7-5227-2100-2
出版日期:2023-05
页数:232
字数:239.0千字
点击量:3488次
定价:88.00元
本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构唯一性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
用户未登录无权限查看参考文献
当前账户可用余额 元
余额不足,请先充值或选择其他支付方式
已有账号,返回登录
没有账号,快速注册
请使用手机登录默认注册账号
返回登录
豆瓣评论