以~(p∧q)和q为前提进行推理,能必然得出结论()。
第1题:
若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。
第2题:
以“只有p才q”和“p并且q”作前提,能必然推出的结论是()。
第3题:
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
第4题:
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
第5题:
以“不必然(非p或q)”为前提进行等值推理,其结论为()。
第6题:
以“不可能(p并且q)”为前提进行等值推理,其结论为()。
第7题:
可能(p且非q)
可能(非p且q)
可能(非p或q)
必然(p且非q)
第8题:
第9题:
第10题:
“r”,则能必然推出“~p∧~q”
“~p∧~q”,则能必然推出“~r”
“~r”,则能必然推出“p∨q”
“p∨q”,则能必然推出“~r”
“r”,则能必然推出“~p”
第11题:
(﹁p→q)∧p├﹁q
(p→﹁q)∧q├﹁p
(﹁p←﹁q)∧﹁p├q
(p←﹁q)∧﹁q├p
(p→﹁q)∧p├﹁q
第12题:
(p∧q)
(p∧~q)
(~p∧q)
(~p∧~q)
第13题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第14题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第15题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
第16题:
下列非有效的推理形式有()。
第17题:
下列假言推理为有效式的有()。
第18题:
以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。
第19题:
~p
~q
~p∧~q
~p∨~q
第20题:
~p∧q
r→p
q∨r
~(~p∨q)
~q∧p
第21题:
可能(非p或非q)
必然(p且非q)
必然(非p或非q)
必然(如果p则q)
第22题:
~(p∨q),能必然推出(~r∨~s)
(~r∨~s),能必然推出(p∨q)
(p∨q),能必然推出~(r∧s)
~(r∧s),能必然推出(~p∨~q)
第23题:
加上前提(p∨q),则能必然推出结论q
加上前提(q∨~p),则能必然推出结论q
加上前提(p→q),则能必然推出结论~q
加上前提~q,则能必然推出结论(~q∧~p)
加上前提(q→p),则能必然推出结论~q