Suppose it has been established that p implies either r or s, and
Theorem 1: y → ~p
Theorem 2: r → x
Theorem 3: s → y
Theorem 4: x → q
Prove, in outline form, that p → q.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.