单项选择题

在间接的真理推导中用到的规律是什么()?

A、矛盾律
B、简约率
C、统一律
D、排中律