前提条件p→q,¬q的有效结论是()。
A: p
B: ¬q
C: ¬p
D: q
A: p
B: ¬q
C: ¬p
D: q
举一反三
- 前提条件p→q,r∨¬q, p的有效结论是( ) 。 A: B: ¬ C: ¬p D: ¬q
- 前提条件P,P→Q的有效结论是() A: P B: ￢P C: Q D: ￢Q
- 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是( )。 A: p∧q B: p∨q 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
- 一个有效推理前提之一为p，结论为¬ q，它的另一前提可以是（ ）。 A: p∨q B: p∧q C: p←¬ q D: ¬p↔q E: p→q