以﹁p为前提进行有效推理，另一前提可以是（）。
A: Ap←﹁q
B: Bp→﹁q
C: Cp∨q
D: D﹁p∨﹁q
E: E﹁p←q
A: Ap←﹁q
B: Bp→﹁q
C: Cp∨q
D: D﹁p∨﹁q
E: E﹁p←q
举一反三
- 一个有效推理前提之一为p，结论为¬ q，它的另一前提可以是（ ）。 A: p∨q B: p∧q C: p←¬ q D: ¬p↔q E: p→q
- 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。 A: Ap→﹁q B: Bq→p C: Cp∨﹁q D: Dp↔q E: Ep→q
- 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有? p↔q|q→p|p∨﹁q|p→﹁q
- 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有 A: p→﹁q B: q→p C: p∨﹁q D: p↔q
- 以¬p为一前提，应增补（ ）或（ ）为另一前提，可必然推出结论q。 A: q↔p B: q→¬ p C: ¬ p→ q D: pV¬ q E: pVq