A.加上前提(p∨q),則能必然推出結論q B.加上前提(q∨~p),則能必然推出結論q C.加上前提(p→q),則能必然推出結論~q D.加上前提~q,則能必然推出結論(~q∧~p) E.加上前提(q→p),則能必然推出結論~q
A.PAS B.SIP C.PIS D.SOP E.POS