以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A、二难推理的简单构成式B、二难推理的复杂构成式C、选言推理的肯定否定式D、选言推理的否定肯定式E、联言推理的组合式
点击查看答案
以p→()和q为前提进行推理,结论是()。
已知p→(q∨r)为真,若要推出~p,必须加上前提()。A、~qB、~rC、~q∨~rD、~q∧~r
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。A、pB、~sC、~r∧pD、~rE、s→q
以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是()或()。
以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。A、p→﹁qB、q→pC、p∨﹁qD、p↔qE、p→q