以﹁p为前提进行有效推理 如果希望得到﹁q为结论 可增加的另一个前提有
已帮助 人
回答
共1条回复-
加上前提（p∨q），则能必然推出结论q;加上前提～q，则能必然推出结论（～q∧～p）;加上前提（q→p），则能必然推出结论～q
加上前提（p∨q），则能必然推出结论q;加上前提～q，则能必然推出结论（～q∧～p）;加上前提（q→p），则能必然推出结论～q