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

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