單項(xiàng)選擇題

?x（Sx→Px）為真的充分必要條件是（）。

A.S表示的集合是P表示的集合的子集。
B.如果S表示的集合不是空集，那么P表示的集合不是空集。
C.S表示的集合不是整個(gè)個(gè)體域，或者P表示的集合不是空集。
D.S表示的集合不是空集，或者P表示的集合不是空集。

你可能感興趣的試題

多項(xiàng)選擇題

下列屬于正確的P^N推演的有（）。

A.從A→B和?A推出?B
B.從A∨B和?A推出B
C.從A?B和?A推出?B
D.從A∧B和?A推出B

多項(xiàng)選擇題

在P^N推演中，下列推導(dǎo)可以通過(guò)初始規(guī)則一步完成的有（）。

A.從A→B和?A→B推出B
B.從（A→B）→（A→C）和A→B推出A→C
C.從A?B和A推出B
D.從A∨B、A→C∨B和B→C∨B推出C∨B

<ul id="gawai"><pre id="gawai"></pre></ul>

<th id="gawai"></th>