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