单项选择题

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

你可能感兴趣的试题

单项选择题

对于常数41H，在汇编语言中表达成字符’A’也是正确的，因为’A’的ASCII码就是41H。
A、正确
B、错误

胸大肌止于大结节，背阔肌止于小结节。（）
正确
错误

答案：错误