一个有效推理前提之一为p，结论为¬ q，它的另一前提可以是（）。 A: p∨q B: p∧q C: p←¬ q D: ¬p↔q E: p→q

2022-06-17

一个有效推理前提之一为p，结论为¬ q，它的另一前提可以是（）。
A: p∨q
B: p∧q
C: p←¬ q
D: ¬p↔q
E: p→q

答案：

C,D

0
当¬p∧¬q为前提，再补上（）或（）作为另一前提，则可得结论r。 A: p∨q∨ B: ¬r→（p∨q） C: →（¬p∧¬q） D: ¬p∧¬q∧¬ E: p∨q∨¬
1
以～p为一个前提进行演绎推理，如果（）。 A: 加上前提（p∨q），则能必然推出结论q B: 加上前提（q∨～p），则能必然推出结论q C: 加上前提（p→q），则能必然推出结论～q D: 加上前提～q，则能必然推出结论（～q∧～p） E: 加上前提（q→p），则能必然推出结论～q
2
( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q
3
以p→q、r→q、s→p∨r、s为前提进行推理，结论为？ A: p B: ﹁p C: q D: ﹁q
4
‌( )不是正确的推理形式。‏ A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u B: 前提： p∨q, pÛr, ~q∨s结论： s∨r C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q

一个有效推理前提之一为p，结论为¬ q，它的另一前提可以是（ ）。 A: p∨q B: p∧q C: p←¬ q D: ¬p↔q E: p→q