单项选择题

A、数理逻辑法
B、反证法
C、演绎法
D、归纳法