- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述用歸結(jié)法證明定理的過(guò)程。
答案：
（1）將已知條件化作子句集；
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個(gè)可歸結(jié)的子...
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個(gè)可歸結(jié)的子...
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】什么是合一？什么是合一者？
答案：
若存在一個(gè)置換s使得表達(dá)式集{Ei}中每個(gè)元素經(jīng)置換后的例有：E1s＝E2s＝E3s＝…，則稱表達(dá)式集{Ei}是可合一的...
問(wèn)答題
【簡(jiǎn)答題】什么是置換？置換是可交換的嗎？
答案：
通常用有序?qū)Φ募蟬＝{t1/v1，t2/v2，…，tn/vn}來(lái)表示任一置換，置換集的元素ti/vi的含義是表達(dá)式中的...
