Machine-translated by Google. Questions are authored in English.
Top

Discussion

Identify the valid conclusion from the premises Pv Q, Q → R, P → M, ˥M

  • A.P ^ (R v R)
  • B.P ^ (P ^ R)
  • C.R ^ (P v Q)
  • D.Q ^ (P v R)

Answer: D

Correct answer: Q ^ (P v R)

Work forward from the premises. From \( P \to M \) and \( \lnot M \), modus tollens gives \( \lnot P \). With \( P \lor Q \) that gives Q, and \( Q \to R \) then gives R. So Q and R are both true, and since R is true so is \( P \lor R \) - which makes the conjunction the valid conclusion.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.