设p、q、r为性质判断,p为全称判断。若p对q有差等关系,q与r有矛盾关系,则p与r一定有()。
第1题:
若“p或者q或者r”真,其支判断的真假情况可以是()和()。
第2题:
命题形式~(p→(q←r))等值于()。
第3题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第4题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第5题:
~(p→(q∨r))等值于()。
第6题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
第7题:
~p∧q
r→p
q∨r
~(~p∨q)
~q∧p
第8题:
((p∨~q)∧q)→~p
((p∧q)∧r)→(p∧r)
((~p→q)∧q)→~p
((p→q)∧(r∧p))→q
(p→q)∧(r→s)∧(q∨s))→(p∨r)
第9题:
(((p→q)∧(r→s))∧(p∨r))→(q∨s)
(((p→q)∧(r→s))∧(∨)
((p→q)∧(p→r))∧(∨))→p
(((p→q)∧(r→q))∧(p∨r))→q
第10题:
“r”,则能必然推出“~p∧~q”
“~p∧~q”,则能必然推出“~r”
“~r”,则能必然推出“p∨q”
“p∨q”,则能必然推出“~r”
“r”,则能必然推出“~p”
第11题:
对
错
第12题:
(p∨q)∧p├﹁q
(pqr)∧﹁p├q∧r
(pqr)∧﹁p├qr
(p∨q∨r)∧﹁p├q∨r
(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s
第13题:
在以下二难推理中,无效式是()
第14题:
以“~(p∨q)←r”为一个前提,若加上另一个前提()。
第15题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第16题:
在下列选言推理形式中,无效的有()。
第17题:
下列推理形式中,无效的有()。
第18题:
第19题:
矛盾关系
反对关系
差等关系
下反对关系
第20题:
第21题:
(p∨(~q∧r))
(p∧(~q∧~r))
(p∧(~q∨~r))
(p∨(~q∨~r)
第22题:
~(p∨q),能必然推出(~r∨~s)
(~r∨~s),能必然推出(p∨q)
(p∨q),能必然推出~(r∧s)
~(r∧s),能必然推出(~p∨~q)
第23题:
P→Q⇔¬Q→¬P
P∨(P∧R)⇔R
P∧(P→Q)⇔Q
P→(Q→R)⇔(P∧Q)→R