二难推理破坏式的主要逻辑机理,是运用假言推理的【否定后件】式,为什么?

否定后件式是指如下的三段论推理规则大前提：如果p则q小前提：非q结论：非p二难推理的破坏式（Destructive dilemmas）不过是把上式中的大前提换成两条假言命题,小前提换成选言命题.简单破坏式：大前提：如果A则B,如...