一个有效推理前提之一为p，结论为¬ q，它的另一前提可以是（ ）。
A: p∨q
B: p∧q
C: p←¬ q
D: ¬p↔q
E: p→q
A: p∨q
B: p∧q
C: p←¬ q
D: ¬p↔q
E: p→q
举一反三
- 以¬p为一前提，应增补（ ）或（ ）为另一前提，可必然推出结论q。 A: q↔p B: q→¬ p C: ¬ p→ q D: pV¬ q E: pVq
- 以﹁p为前提进行有效推理，另一前提可以是（）。 A: Ap←﹁q B: Bp→﹁q C: Cp∨q D: D﹁p∨﹁q E: E﹁p←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
- 构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P