A.一次運(yùn)用選言推理的否定肯定式 B.聯(lián)言推理的分解式 C.兩次運(yùn)用選言推理的否定肯定式 D.充分條件推理的肯定前件式 E.聯(lián)言推理的組合式
A.p→﹁q B.q→p C.p∨﹁q D.p↔q E.p→q