Fork me on GitHub
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) 编辑