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