以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。

以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。

多选题查看答案

以“p∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。

多选题查看答案

以“（p→q）→r”和“～r”为前提，可必然推出结论（）。

多选题查看答案

以“～p”和“p←（q←r）”为前提，可必然推出结论（）。

多选题查看答案

以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。

填空题查看答案

以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。

单选题查看答案

以"如果P且q，那么 "和"r" 为前提，可必然推出的结论是（）。

单选题查看答案

设“如果（非p或非q），那么（r或s）”和“非r并且非s”为两个真命题，则以它们为论据可以证明（）。 

多选题查看答案

以“～（p∨q）←r”为一个前提，若加上另一个前提（）。

多选题查看答案