要检验一个命题是否蕴含另一个命题，我们需要把第一个命题当做前提，而把另一个否定命题当做另一个命题，然后看看其是否能推导出（）。

要检验一个命题是否蕴含另一个命题，我们需要把第一个命题当做前提，而把另一个否定命题当做另一个命题，然后看看其是否能推导出（）。
A.矛盾式
B.否定式
C.等值式
D.重言式
正确答案：A