反证法是先论证与原论题相矛盾的论断为假，然后得到原论题为真的论证方法，其依据的逻辑基本规律是 （      ）

A、同一律

B、充足理由律

C、不矛盾律

D、排中律