单项选择题

A.归纳法
B.列表法
C.直接推理
D.模拟推理