以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出

题目

以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。

  • A、p
  • B、~s
  • C、~r∧p
  • D、~r
  • E、s→q