Give the reasons for the steps verifying the following argument. Steps Reasons (1) ¬s § ¬u (2)

Give the reasons for the steps verifying the following argument.

Steps Reasons
(1) ¬s ˆ§ ¬u
(2) ¬u
(3) ¬u †’ ¬t
(4) ¬t
(5) ¬ s
(6) ¬s ˆ§ ¬ t
(7) r †’ (s ˆ¨ t)
(8) ¬(s ˆ¨ t) †’ ¬r
(9) (¬s ˆ§ ¬t †’ ¬r
(10) ¬r
(11) (¬ p ˆ¨ q) †’ r
(12) ¬r †’ ¬(¬p ˆ¨ q)
(13) ¬r †’ (p ˆ§ ¬q)
(14) p ˆ§ ¬q
(15) ˆ´ p

Transcribed Image Text:

(-p v q) →r r - (s v t) ..P