如图是高二数学选修1-2第二章“推理与证明”的知识结构图，已知反证法是一种间接证明方法，如果要在图中加入反证法，则应把它放在（　　）

A. “合情推理”的下位

B. “演绎推理”的下位

C. “直接证明”的下位

D. “间接证明”的下位