問(wèn)答題

【簡(jiǎn)答題】若S={P(x)∨Q(f(x)),┐P(a), ┐Q(y)},請(qǐng)畫(huà)出與該子句集對(duì)應(yīng)的語(yǔ)義樹(shù),為什么可以用封閉語(yǔ)義樹(shù)來(lái)判定子句集的不可滿(mǎn)足性?

答案:

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