問答題

【簡答題】簡述用歸結(jié)法證明定理的過程。

答案：（1）將已知條件化作子句集；
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個可歸結(jié)的子...

你可能感興趣的試題

【簡答題】什么是合一？什么是合一者？

答案：若存在一個置換s使得表達式集{Ei}中每個元素經(jīng)置換后的例有：E1s＝E2s＝E3s＝…，則稱表達式集{Ei}是可合一的...

【簡答題】什么是置換？置換是可交換的嗎？

答案：通常用有序?qū)Φ募蟬＝{t1/v1，t2/v2，…，tn/vn}來表示任一置換，置換集的元素ti/vi的含義是表達式中的...

<label id="1i16y"><tr id="1i16y"></tr></label>