多項選擇題

以“(p→q)→r”和“~r”為前提,可必然推出結論()。

A.~p∧q
B.r→p
C.q∨r
D.~(~p∨q)
E.~q∧p

微信掃碼免費搜題