反证法是依据逻辑学的( )而来的一种证明方法

问题描述:

反证法是依据逻辑学的( )而来的一种证明方法
A . 同一律
B . 排中律
C . 不矛盾律

B确定不?