單項選擇題

謂詞公式G在海伯倫域上是不可滿足的，則該公式在個體變量域D上是（）

A.可滿足的
B.不可滿足的
C.無法確定

你可能感興趣的試題

單項選擇題

在語義網(wǎng)絡(luò)中，用（）來標(biāo)明類與子類之間的關(guān)系。

A.實例聯(lián)系
B.泛化聯(lián)系
C.聚集聯(lián)系
D.屬性聯(lián)系

單項選擇題

在謂詞公式中，連接詞的優(yōu)先級別從高到低排列是（）

A.﹁，∨，∧，→，↔
B.∧，∨，﹁，→，↔
C.﹁，∧，∨，↔，→
D.﹁，∧，∨，→，↔