以(~p→q)为大前提()。
第1题:
以“~(p∨q)←r”为一个前提,若加上另一个前提()。
第2题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第3题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第4题:
以PAM作大前提,()作小前提,能推出SEP的结论。
第5题:
已知一个三段论的小前提是O判断,而此三段论为第三格,则能必然推出结论的是()。
第6题:
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
第7题:
若P∨q为假,则()为真。
第8题:
若加上小前提~p,则能推出~q
若加上小前提~p,则能推出q
若加上小前提q,则能推出~p
若加上小前提q,则能推出p
若加上小前提~q,则能推出p
第9题:
第10题:
~q
~r
~q∨~r
~q∧~r
第11题:
~(p∨q),能必然推出(~r∨~s)
(~r∨~s),能必然推出(p∨q)
(p∨q),能必然推出~(r∧s)
~(r∧s),能必然推出(~p∨~q)
第12题:
p
~s
~r∧p
~r
s→q
第13题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第14题:
以“只有p才q”和“p并且q”作前提,能必然推出的结论是()。
第15题:
以PIM为大前提、MAS为小前提构成三段论,则()。
第16题:
已知p→(q∨r)为真,若要推出~p,必须加上前提()。
第17题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
第18题:
由p∧q真能推出p∨q(),由p∨﹁q假能推出﹁p∧q()。
第19题:
以“张千是车匪”为一前提,那么()
第20题:
第21题:
~p∧q
r→p
q∨r
~(~p∨q)
~q∧p
第22题:
“r”,则能必然推出“~p∧~q”
“~p∧~q”,则能必然推出“~r”
“~r”,则能必然推出“p∨q”
“p∨q”,则能必然推出“~r”
“r”,则能必然推出“~p”
第23题:
加上前提(p∨q),则能必然推出结论q
加上前提(q∨~p),则能必然推出结论q
加上前提(p→q),则能必然推出结论~q
加上前提~q,则能必然推出结论(~q∧~p)
加上前提(q→p),则能必然推出结论~q