[填空题,3.4分] 谓词公式G是不可满足的,当且仅当对所有的解释()。
出自:信阳师范学院 人工智能

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块