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

• A、假言推理
• B、简单枚举归纳推理
• C、常规推理
• D、选言推理