逻辑后承 广义完全性定理

¥0.14

购买
语音 收藏 纠错 引文

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

出版日期：1993-12

字      数： 2931

所属分类：
 关 键 词：
换肤
字号
小 中 大
×

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

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

§4 逻辑后承 广义完全性定理

由语义一致性和完全性可知，语法概念内定理和语义概念重言式是对应的。在这一节考虑和语法概念推演相对应的语义概念逻辑后承，并证明它们之间的一致性和完全性。

设Γ是公式集，σ是真值指派，如果对于Γ中的每个公式a，都有σ（A）=T，则称Γ在σ下真，记作σ（Γ）=T。因为空集∅中没有任何公式，所以任给真值指派σ，都有σ（∅）=T。

逻辑后承 Γ是公式集，A是公式。如果对所有使得σ（Γ）=T的真值指派σ，都有σ（A）=T，则称A是Γ的逻辑后承，记作Γ╞A。

相关词

相关推荐

  • [1] 哥德尔不完全性定理

  • [2] 哥德尔不完全性定理并未驳倒计算主义

  • [3] 一阶逻辑系统的完全性吹响了成功的号角？

  • [4] 狭义逻辑观与广义逻辑观之辩

  • [5] 狭义逻辑观与广义逻辑观之辩

其他推荐

目录
复制 词典
感谢您的试读，阅读全文需要 购买 章节

引文

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

当前账户可用余额 元

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

请选择感兴趣的分类
选好了，开始浏览
以后再选择
售前咨询：010-84083679 刘老师，张老师
售后服务：010-84083679 张老师
95133307@qq.com
北京西城区鼓楼西大街甲158号

快速链接

版权所有：中国社会科学出版社 京ICP备05032912号-4 京公网安备11010202010100号

×
推荐购买
×
手机注册 邮箱注册
获取短信验证码
 我已阅读并接受《中国社会科学文库用户协议》

已有账号，返回登录

×
账号登录 一键登录
忘记密码?

没有账号，快速注册

×
手机找回 邮箱找回
获取短信验证码

返回登录