更新时间:-- | 阅读量: 64
亦称“等值词消去律”。命题演算或谓词演算的自然推理系统的一个推演规则,有不同...等值词消去规则的另一种规定是：A↔；B，A⊢；B;A↔；B，B⊢；A。即从A↔；B和A可推出B，从A ...
搜索到与“ 等值词”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
