谓词公式G是不可满足的,当且仅当对所有的解释()。


谓词公式G是不可满足的,当且仅当对所有的解释()。

正确答案:G都为假


Tag:人工智能 谓词 公式 时间:2024-02-08 10:57:41