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

Discussion

(P v Q) ^ (P→R) ^ (Q → R) is equivalent to

  • A.P
  • B.Q
  • C.R
  • D.True = T

Answer: C

Correct answer: R

Both P and Q lead to R, and \( P \lor Q \) guarantees that one of them holds, so R follows in either case. This is the constructive dilemma with the same conclusion on both branches, which collapses it to a proof of R. Neither P nor Q individually can be concluded, since the premises do not say which of them is true.

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

Post your comment

Please log in or register to post a comment.