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

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

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