第1题:
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
第2题:
以"如果P且q,那么 "和"r" 为前提,可必然推出的结论是()。
第3题:
以PIM为大前提、MAS为小前提构成三段论,则()。
第4题:
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
第5题:
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
第6题:
以“并非可能p”为前提,可推出的结论是()。
第7题:
第8题:
第9题:
可能p
可能非p
必然p
必然非p
并非必然非p
第10题:
第11题:
p←r
~p∨r
q→p
r
~(q←r)
第12题:
p
~s
~r∧p
~r
s→q
第13题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第14题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第15题:
以“只有p,才q且r”和“非P”为前提,可必然推出结论()。
第16题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
第17题:
以“不可能(p并且q)”为前提进行等值推理,其结论为()。
第18题:
第19题:
~p∧q
r→p
q∨r
~(~p∨q)
~q∧p
第20题:
加上前提(p∨q),则能必然推出结论q
加上前提(q∨~p),则能必然推出结论q
加上前提(p→q),则能必然推出结论~q
加上前提~q,则能必然推出结论(~q∧~p)
加上前提(q→p),则能必然推出结论~q
第21题:
非P并且非q
P并且q
非P并且q
非P或者非r
第22题:
第23题:
~r
~q
~p
r→p
p∧q