命题是可以判断真假的（）。

（A→B）∧A=>B是（）。A.附加律B.拒收律C.假言推理D.US

单项选择题（A→B）∧A=>B是（）。

反演归结（消解）证明定理时，若定理得证时，则当前归结式是（）。A.永真式B.包孕式C.空子句D.永假式

单项选择题反演归结（消解）证明定理时，若定理得证时，则当前归结式是（）。

AI的英文缩写是（）。A.Automatic IntelligenceB.Artifical Intellig...

单项选择题AI的英文缩写是（）。