7,931 views

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

• $P: [(¬p\vee q) ∧ (r → s) ∧ (p \vee r)] → (¬s → q)$
• $Q: [(¬p ∧q) ∧ [q → (p → r)]] → ¬r$
• $R: [[(q ∧ r) → p] ∧ (¬q \vee p)] → r$
• $S: [p ∧ (p → r) ∧ (q \vee ¬ r)] → q$

Which of the above arguments are valid?

1. $P$ and $Q$ only
2. $P$ and $R$ only
3. $P$ and $S$ only
4. $P, Q, R$ and $S$

### 1 comment

Admins, please change the or symbol in expression P look like an OR symbol.It looks more like literal 'v'

Option 3

Both P and S are valid... I used truth table

Statements P and S are true