<acronym id="2127x"><ol id="2127x"></ol></acronym>

<li id="2127x"><sup id="2127x"><dl id="2127x"></dl></sup></li>

<progress id="2127x"><legend id="2127x"></legend></progress>

<table id="2127x"><legend id="2127x"><ins id="2127x"></ins></legend></table>

<samp id="2127x"><sup id="2127x"><dl id="2127x"></dl></sup></samp>

<strong id="2127x"><span id="2127x"></span></strong>

單項(xiàng)選擇題

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

A.可滿足的
B.不可滿足的
C.無(wú)法確定

你可能感興趣的試題

單項(xiàng)選擇題

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

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

單項(xiàng)選擇題

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

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