The following propositional statement is (P → (Q ∨ R)) → ((P ∨ Q) → R)

GATE · 2004 · CS

The following propositional statement is 
(P → (Q ∨ R)) → ((P ∨ Q) → R)

  1. A.

    satisfiable but not valid

  2. B.

    valid

  3. C.

    a contradiction

  4. D.

    none of the above

Attempted by 194 students.

Sign up free to check your answer

Sign up free

Explore the full course: Gate Guidance By Sanchit Sir

Loading lesson…