相关考题
-
单项选择题
（A→B）∧A=>B是（）。
A.附加律
B.拒收律
C.假言推理
D.US -
单项选择题
反演归结（消解）证明定理时，若定理得证时，则当前归结式是（）。
A.永真式
B.包孕式
C.空子句
D.永假式 -
单项选择题
AI的英文缩写是（）。
A.Automatic Intelligence
B.Artifical Intelligence
C.Automatice Information
D.Artifical Information
