Question: Give the reasons for the steps verifying the following argument.

Steps: Reasons:

1. \(\neg s\wedge \neg u\)

ii) \(\neg u\)

iii) \(\neg u\to \neg t\)

iv) \(\neg t\)

v) \(\neg s\)

vi) \(\neg s\wedge \neg t\)

vii) \(r\to (s\vee t)\)

viii) \(\neg (s\vee t)\to \neg r\)

ix) \((\neg s\wedge \neg t)\to \neg r\)

x) \(\neg r\)

xi) \((\neg p\vee q)\to r\)

xii) \(\neg r\to \neg (\neg p\vee q)\)

xiii) \(\neg r\to (p\wedge \neg q)\)

xiv) \(p\wedge \neg q\)

xv) \(\therefore p\)

Price: $2.99

Solution: The downloadable solution consists of 2 pages
Deliverable: Word Document