·逻辑与计算机· 文章编号：1000–8934–(2002)增刊–0019–04
本文档由 spiritLixN 分享于2008-06-28 03:26
满足"xÎAtom: p(x)Î{t， f}的赋值称为CL赋值，表示经典世界；其他赋值表示“认知世界(认知 定义11 局部相关 称j与y局部相关，若存在CL赋值p和p¢使下列条件同时成立：
下载文档
收藏
打印
分享：
君，已阅读到文档的结尾了呢~~