单项选择题

某种推理的基本程式(结构)如下:如果p那么q,(并非)p,所以,(并非)q。则这种推理称为()。

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