Question

(2-column proof)
Prove indirectly:
p->(q->r)
p->(s->m)
p^(qVs)
~r
_______________
... m

Answer 1

@kropot72
@SithsAndGiggles

Answer 2

@nincompoop

Answer 3

Assume ~m:
From statement 3, p and (q or s)
If p^q, then r, but this is contradicted by statement 4.
If p^s, then m, but from our assumption, ~m
Contradiction.
Therefore, m