单项选择题

A、归纳法
B、分析法
C、演绎逻辑
D、数理逻辑