根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。

• A、有效论证
• B、逻辑等值
• C、重言式原则
• D、以上都对