由前提"p或者q"进行选言推理,加上一个前提"q",能得出()的结论。
第1题:
若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。
第2题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第3题:
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
第4题:
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
第5题:
以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。
第6题:
若加上小前提~p,则能推出~q
若加上小前提~p,则能推出q
若加上小前提q,则能推出~p
若加上小前提q,则能推出p
若加上小前提~q,则能推出p
第7题:
第8题:
加上前提(p∨q),则能必然推出结论q
加上前提(q∨~p),则能必然推出结论q
加上前提(p→q),则能必然推出结论~q
加上前提~q,则能必然推出结论(~q∧~p)
加上前提(q→p),则能必然推出结论~q
第9题:
二难推理的简单构成式
二难推理的复杂构成式
选言推理的肯定否定式
选言推理的否定肯定式
联言推理的组合式
第10题:
~(p∨q),能必然推出(~r∨~s)
(~r∨~s),能必然推出(p∨q)
(p∨q),能必然推出~(r∧s)
~(r∧s),能必然推出(~p∨~q)
第11题:
选言推理的肯定否定式
联言推理的分解式
选言推理的否定肯定式
充分条件推理的肯定前件式
充分条件推理的否定后件式
第12题:
一次运用选言推理的否定肯定式
联言推理的分解式
两次运用选言推理的否定肯定式
充分条件推理的肯定前件式
联言推理的组合式
第13题:
以(~p→q)为大前提()。
第14题:
“要么P要么q,非p,q”这种结构是哪种推理?()
第15题:
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
第16题:
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
第17题:
P要么q为不相容选言推理的前提,如果另一个前提为P,则结论为();而如果得出的结论是q,则另一个前提应为()。
第18题:
~p
~q
~p∧~q
~p∨~q
第19题:
第20题:
非P
P
q
非q
第21题:
“r”,则能必然推出“~p∧~q”
“~p∧~q”,则能必然推出“~r”
“~r”,则能必然推出“p∨q”
“p∨q”,则能必然推出“~r”
“r”,则能必然推出“~p”
第22题:
(p∧q)
(p∧~q)
(~p∧q)
(~p∧~q)
第23题: