要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。

• A、矛盾
• B、命题
• C、结论
• D、前提