填空題

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

答案:
微信掃碼免費(fèi)搜題