Let p, q, r and s be four primitive statements. Consider the following…

GATE · 2004 · IT

Let p, q, r and s be four primitive statements. Consider the following arguments:

P: [((¬p ∨ q) ∧ (r → s) ∧ (p ∨ r))] → (¬s → q)

Q: [((¬p ∧ q) ∧ (q → (p → r)))] → ¬r

R: [((q ∧ r) → p) ∧ (¬q ∨ p)] → r

S: [p ∧ (p → r) ∧ (q ∨ ¬r)] → q

Which of the above arguments are valid?

Attempted by 53 students.

Show answer

Correct answer: C

Video solution available to enrolled students.