A.(((p→q)∧(r→s))∧(p∨r))→(q∨s) B.(((p→q)∧(r→s))∧(∨) C.((p→q)∧(p→r))∧(∨))→p D.(((p→q)∧(r→q))∧(p∨r))→q
A.((→)∧p)→q B.((→)∧)→ C.(→)∧)→( D.((p←)∧p)→
A.三段論推理 B.直言直接推理 C.聯(lián)言推理的組合式 D.關(guān)系推理