更新时间:-- | 阅读量: 336
道义逻辑是研究道义命题的逻辑特性及其推理关系的逻辑学科。在日常语言中,“应该”、“...一公式A在模型类M中有效，当且仅当，A在属于M类的每一模型μ=（W，R，V）中有效。一公式A在M类中可满足，当且仅当，A在属于M类的某些模型中有效。一 ...
搜索到与“ w)模型”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
