判斷題

歸結(jié)方法將所有的謂詞公式均化簡(jiǎn)為子句，致使很多隱含在原來的謂詞公式中的、對(duì)推理有利的信息得不到充分的利用。

答案：正確

你可能感興趣的試題

擴(kuò)展節(jié)點(diǎn)可使定義的隱含圖生成為顯式表示的狀態(tài)空間圖。

答案：正確

任何一個(gè)合適公式，都可以等價(jià)地轉(zhuǎn)化為一個(gè)前束范式。

答案：正確

<thead id="p1iu5"><abbr id="p1iu5"></abbr></thead>

<nobr id="p1iu5"><td id="p1iu5"><listing id="p1iu5"></listing></td></nobr>