检验一个命题是否蕴含另一个命题，我们需要把一个命题当做前提，把另一个命题的（）当做另一个前提，看是否能推出矛盾。

检验一个命题是否蕴含另一个命题，我们需要把一个命题当做前提，把另一个命题的（）当做另一个前提，看是否能推出矛盾。
A.必要条件命题
B.充分条件命题
C.否定命题
D.等值命题
正确答案：C