A.加上前提(p∨q),則能必然推出結(jié)論q B.加上前提(q∨~p),則能必然推出結(jié)論q C.加上前提(p→q),則能必然推出結(jié)論~q D.加上前提~q,則能必然推出結(jié)論(~q∧~p) E.加上前提(q→p),則能必然推出結(jié)論~q
A.PAS B.SIP C.PIS D.SOP E.POS
A.p并且q B.非p并且非q C.并非(如果p,那么非q) D.p或q E.并非(只有非p,才q)