间接论证的主要种类有（）
A反证法、选言证法
B反证法、演绎证法
C演绎证法、归纳论证
D演绎论证、选言论证
在运用反证法进行论证时。先论证反证法假，然后就可确定原论题真，这是根据（）。
A、矛盾律
B、排中律
C、同一律
D、充足理由律
