你可能感興趣的試題

A.用Skolem函數(shù)（對(duì)偶形）消去目標(biāo)公式中的全稱量詞，化簡的公式受存在量詞的約束。
B.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡的公式受全稱量詞的約束。
C.對(duì)規(guī)則的處理同（*）式。
D.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡的公式受全稱量詞的約束。（*）

A.事實(shí)表達(dá)式是文字合取形式
B.事實(shí)表達(dá)式是任意形式
C.規(guī)則形式為：W→L或W→L1∧L2其中L為單文字，W為任意形式。
D.目標(biāo)公式是任意形式