单项选择题

A.划线法
B.逆推归纳法
C.箭头法
D.严格下策反复消去法