单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A~(p∨q),能必然推出(~r∨~s)B(~r∨~s),能必然推出(p∨q)C(p∨q),能必然推出~(r∧s)D~(r∧s),能必然推出(~p∨~q)
单选题
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
A
~(p∨q),能必然推出(~r∨~s)
B
(~r∨~s),能必然推出(p∨q)
C
(p∨q),能必然推出~(r∧s)
D
~(r∧s),能必然推出(~p∨~q)
参考解析
解析:
暂无解析
相关考题:
以~p为一个前提进行演绎推理,如果()。A、加上前提(p∨q),则能必然推出结论qB、加上前提(q∨~p),则能必然推出结论qC、加上前提(p→q),则能必然推出结论~qD、加上前提~q,则能必然推出结论(~q∧~p)E、加上前提(q→p),则能必然推出结论~q
以“~(p∨q)←r”为一个前提,若加上另一个前提()。A、“r”,则能必然推出“~p∧~q”B、“~p∧~q”,则能必然推出“~r”C、“~r”,则能必然推出“p∨q”D、“p∨q”,则能必然推出“~r”E、“r”,则能必然推出“~p”
以(~p→q)为大前提()。A、若加上小前提~p,则能推出~qB、若加上小前提~p,则能推出q C、若加上小前提q,则能推出~pD、若加上小前提q,则能推出pE、若加上小前提~q,则能推出p
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A、~(p∨q),能必然推出(~r∨~s)B、(~r∨~s),能必然推出(p∨q)C、(p∨q),能必然推出~(r∧s)D、~(r∧s),能必然推出(~p∨~q)
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A、二难推理的简单构成式B、二难推理的复杂构成式C、选言推理的肯定否定式D、选言推理的否定肯定式E、联言推理的组合式
多选题以~p为一个前提进行演绎推理,如果()。A加上前提(p∨q),则能必然推出结论qB加上前提(q∨~p),则能必然推出结论qC加上前提(p→q),则能必然推出结论~qD加上前提~q,则能必然推出结论(~q∧~p)E加上前提(q→p),则能必然推出结论~q
多选题以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A二难推理的简单构成式B二难推理的复杂构成式C选言推理的肯定否定式D选言推理的否定肯定式E联言推理的组合式
多选题以“~(p∨q)←r”为一个前提,若加上另一个前提()。A“r”,则能必然推出“~p∧~q”B“~p∧~q”,则能必然推出“~r”C“~r”,则能必然推出“p∨q”D“p∨q”,则能必然推出“~r”E“r”,则能必然推出“~p”
多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q