单项选择题

A、否定命题
B、推导出矛盾
C、命题成立
D、以上全部是