本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构唯一性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
暂无简介
用户未登录无权限查看参考文献
作者:张尚水
数理逻辑导引
作者:郭泽深
弗雷格逻辑哲学与现代数理逻辑思潮
作者:沈昊驹
西方经济伦理的实证研究:基于数理...
作者:程橙
形象、思维与推理:存在图逻辑
作者:张家龙
罗素的逻辑与哲学探究
余额不足,请先充值或选择其他支付方式
账户:admin,可用余额 元
没有账号,快速注册
请使用手机登录默认注册账号
已有账号,返回登录
返回登录