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

A.永真式

B.包孕式

C.空子句

动物发生急性胰腺炎时，血清中活性显著升高并且具有诊断意义的是（）

A、丙氨酸转移酶

B、天冬氨酸转移酶

C、碱性磷酸酶

D、淀粉酶

E、肌酸激酶