运用反证法进行论证时，主要运用的推理形式是充分条件假言推理的（）

• A、肯定前件式
• B、肯定后件式
• C、否定前件式
• D、否定后件式

请用真值表判定下列两个判断是否等值。

A.如果方法对而且坚持不懈地努力，那么，一定能有所成就。

B.决非方法对并且坚持不懈地努力，而仍不能有所成就。

“如果吸烟或者过量饮酒，那么身体绝不会健康；某同志不吸烟也不过量饮酒；所以，某同志的身体一定很健康。”这一推理是（）

• A、充分条件假言推理的有效式
• B、必要条件加盐推理的有效式
• C、错误的充分条件假言推理的否定式前件式
• D、错误的必要条件假言推理的否定式前件式