單項(xiàng)選擇題謂詞公式G在海伯倫域上是不可滿足的,則該公式在個(gè)體變量域D上是()

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


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題在語義網(wǎng)絡(luò)中,用()來標(biāo)明類與子類之間的關(guān)系。

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

2.單項(xiàng)選擇題在謂詞公式中,連接詞的優(yōu)先級(jí)別從高到低排列是()

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