从多级层次结构出发，计算机系统可以有（）3种不同的设计方法。

反证法：是先用确定与原论题相矛盾的论题的虚假，根据排中律由假推真，从而间接确定论题真实性的证明方法。 根据上述定义，下列不属于反证法的是：

A．风水先生贯说空，指南指北指西东，倘若真有龙虎地，何不当年葬乃翁

B．某甲有非法收入罪，如果没罪，那他就能说出自己所有收入的来源，而他说不出这些收入的来源

C．古村还是有用的。如果没有用，就不会存到现在了

D．规划不能随心所欲，因为依法通过的规划本身就具有法的效力