Q. 40 Let P, Q and R be three atomic prepositional assertions. Let X denote (P v Q) → R and Y denote (P → R) v (Q → R). Which one of the following is a tautology?
(A) X ≡ Y
(B) X → Y
(C) Y → X
(D) ¬ Y → X
Answer: (B)
Explanation:
Q. 40 Let P, Q and R be three atomic prepositional assertions. Let X denote (P v Q) → R and Y denote (P → R) v (Q → R). Which one of the following is a tautology?
(A) X ≡ Y
(B) X → Y
(C) Y → X
(D) ¬ Y → X
Answer: (B)
Explanation: