in Mathematical Logic edited by
7,931 views
35 votes
35 votes

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$
in Mathematical Logic edited by
7.9k views

1 comment

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

7 Answers

1 vote
1 vote
Option 3

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

Answer is option C.

 

0 votes
0 votes

    Statements P and S are true

Answer:

Related questions