更多文章
更多精彩文章
引用
Article on logical constantsat the Stanford Encyclopedia of Philosophy;
Weblog entry "How many is two?"by Andrej Bauer(英语:Andrej Bauer) discussing the relationship between truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.
参见
逻辑连结词
真值表
真值函数
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
{{item.time}} {{item.replyListShow ? '收起' : '展开'}}评论 {{curReplyId == item.id ? '取消回复' : '回复'}}