多项选择题
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
A.~p∧q B.r→p C.q∨r D.~(~p∨q) E.~q∧p
多项选择题 以“~p”和“p←(q←r)”为前提,可必然推出结论()。
多项选择题 以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
多项选择题 以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。