为了论证某一论题的真实性，可以采用证明与之相矛盾的判断虚假，进而推出论题为真。这是根据（）。
A、同一律
B、排中律
C、矛盾律
D、充足理由律
如果既不否定SAP，又不否定SEP，则（）
A、违反了同一律
B、违反了不矛盾律
C、违反了排中律
D、违反了充足理由律
