单项选择题

当前归结式是()时,则定理得证。

A.永真式
B.包孕式
C.空子句
D.假子句