会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
赏月斋
慎终如始 宁静致远
博客园
首页
新随笔
联系
订阅
管理
2017年4月25日
语义后承(semantic consequence),句法后承(syntactic consequence),实质蕴含(material implication / material conditional)
摘要: 作者:罗心澄链接:https://www.zhihu.com/question/21191299/answer/17469774来源:知乎著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。 在数理逻辑系统中没有使用过,仅在数学证明中使用过。这个符号不是一个标准命题形式语言中的符号。
阅读全文
posted @ 2017-04-25 14:39 stardsd
阅读(4420)
评论(0)
推荐(0)
编辑
公告