单项选择题

下列选项中,属于反证法的步骤的是()。

A.否定命题→推导出矛盾→命题成立
B.肯定命题→推导出矛盾→命题成立
C.否定命题→推导出成立→命题成立
D.否定命题→推导出矛盾→命题不成立