填空題

謂詞公式G是不可滿足的,當且僅當對所有的解釋G都為()。

答案:
微信掃碼免費搜題