相关考题
-
多项选择题
以“～p”和“p←（q←r）”为前提，可必然推出结论（）。
A.p←r
B.～p∨r
C.q→p
D.r
E.～（q←r） -
多项选择题
以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。
A.～r
B.～q
C.～p
D.r→p
E.p∧q -
多项选择题
以“p∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。
A.p
B.～s
C.～r∧p
D.～r
E.s→q
