命题演算的自然推演系统

¥0.14

购买
语音 收藏 纠错 引文

章节信息 目录
作       者:
所属图书: 《逻辑演算》

出版日期:1993-12

字      数: 2648

所属分类:
 关 键 词:
换肤
字号
×

“后马克思主义”是马克思主义吗?

当前显示为试读部分,购买后可阅读全文×

§1 命题演算的自然推演系统

命题逻辑可以有不同的形式化方法。自然推演系统就是另一种形式化方法。

广义上讲,自然推演系统也是一种公理系统,但它和狭义的公理系统在以下几方面有所不同。

(1)没有公理。任何狭义的公理系统,不论公理多少,总是需要有一些公理作为出发点,但自然推演系统没有公理。

(2)有新类型的推演规则。因为没有公理,所以必须有引进和消去假设的规则。这种规则类似于公理系统中的演绎定理。

(3)建立系统所考虑的重点是接近于日常推理。一般使用较多的联接词和量词,不在乎形成规则的复杂,也使用较多的推演规则,不强调推演规则互相独立。

目录
感谢您的试读,阅读全文需要 购买 章节

引文

×
GB/T 7714-2015 格式引文
刘壮虎.逻辑演算[M].北京:中国社会科学出版社,1993
复制
MLA 格式引文
复制
APA 格式引文
复制
×
错误反馈
请支付
×
提示:您即将购买的内容资源仅支持在线阅读,不支持下载!

当前账户可用余额

余额不足,请先充值或选择其他支付方式

请选择感兴趣的分类
选好了,开始浏览
×
推荐购买
×
手机注册 邮箱注册

已有账号,返回登录

×
账号登录 一键登录

没有账号,快速注册

×
手机找回 邮箱找回

返回登录