某种推理的基本程式（结构）如下：如果p那么q，（并非）p，所以，（并非）q。则这种推理称为（）。

A、假言推理

B、简单枚举归纳推理

C、常规推理

D、选言推理