设P、Q和R为任何命题,则由P→Q, ┑Q∨R可推出P→R。()
举一反三
- 设P、Q和R为任何命题,则:P→Q,┑Q∨RP→R。()
- 设P,Q,R是命题公式,则由公式P→R,Q→R,P∨Q,可得到结论()。 A: P B: Q C: R D: ¬R
- 设P、Q和R为任何命题,则:P→Q,┑(PQ)┑(Q→P)。()
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
- 以“(p→q)→r”和“~r”为前提,可必然推出结论()。 A: ~p∧q B: r→p C: q∨r D: ~(~p∨q) E: ~q∧p