已知p→（q∨r）为真，若要推出～p，必须加上前提（）。

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

多选题查看答案

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

多选题查看答案

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

多选题查看答案

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

多选题查看答案

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

填空题查看答案

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

填空题查看答案

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

单选题查看答案

从“如果（非p或非q）那么（r或s）和“非r且非s”出发，则可推出（）。

多选题查看答案

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

单选题查看答案