A.p→﹁q B.q→p C.p∨﹁q D.p↔q E.p→q
A.(﹁p→q)∧p├﹁q B.(p→﹁q)∧q├﹁p C.(﹁p←﹁q)∧﹁p├q D.(p←﹁q)∧﹁q├p E.(p→﹁q)∧p├﹁q
A.選言推理的肯定否定式 B.聯(lián)言推理的分解式 C.選言推理的否定肯定式 D.充分條件推理的肯定前件式 E.充分條件推理的否定后件式