A.~r B.~q C.~p D.r→p E.p∧q
A.p B.~s C.~r∧p D.~r E.s→q
A.“r”,則能必然推出“~p∧~q” B.“~p∧~q”,則能必然推出“~r” C.“~r”,則能必然推出“p∨q” D.“p∨q”,則能必然推出“~r” E.“r”,則能必然推出“~p”