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.充分條件推理的否定后件式
A.p←﹁q B.p→﹁q C.p∨q D.﹁p∨﹁q E.﹁p←q