更新时间:-- | 阅读量: 5
形式语言中一公式是可满足的,当且仅当至少存在一个解释,使该公式成为真命题。例如:公......该公式即为命题“所有的人都是要死的”，这是个真命题。而∃；x（F（x）∧⇁；F（x））是不可满足的，因为不存在解释使该公式成 ...
搜索到与“ 不可满足性”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
