以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有
A.p→﹁q
B.q→p
C.p∨﹁q
D.p↔q
第1题:
以﹁p为前提进行有效推理,另一前提可以是()。
第2题:
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
第3题:
以“不可能(p并且q)”为前提进行等值推理,其结论为()。
第4题:
以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。
第5题:
以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。
第6题:
可能(p且非q)
可能(非p且q)
可能(非p或q)
必然(p且非q)
第7题:
第8题:
p←﹁q
p→﹁q
p∨q
﹁p∨﹁q
﹁p←q
第9题:
可能(非p或非q)
必然(p且非q)
必然(非p或非q)
必然(如果p则q)
第10题:
p→﹁q
q→p
p∨﹁q
p↔q
p→q
第11题:
(p∧q)
(p∧~q)
(~p∧q)
(~p∧~q)
第12题:
s
﹁q
﹁q∧s
﹁r∧s
(﹁q∨﹁r)∧s
第13题:
以p→()和q为前提进行推理,结论是()。
第14题:
以“不必然(非p或q)”为前提进行等值推理,其结论为()。
第15题:
以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是()或()。
第16题:
P要么q为不相容选言推理的前提,如果另一个前提为P,则结论为();而如果得出的结论是q,则另一个前提应为()。
第17题:
以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。
第18题:
p
q
﹁p
﹁q
p∨q
第19题:
第20题:
加上前提(p∨q),则能必然推出结论q
加上前提(q∨~p),则能必然推出结论q
加上前提(p→q),则能必然推出结论~q
加上前提~q,则能必然推出结论(~q∧~p)
加上前提(q→p),则能必然推出结论~q
第21题:
﹁r∨﹁s
r∧s
﹁p∧﹁q
﹁p∨﹁q
r∨s
第22题:
第23题:
第24题: