为了论证某一论题的真实性，可以采用证明与之相矛盾的判断虚假，进而推出论题为真。这是根据（）。

A.同一律

B.排中律

C.矛盾律

D.充足理由律