Question

Write a proof sequence. Justify

p
p -> r
q -> -r
__________
--> -q

Answer 1

Assume q:
r by lines 1 and 2
~r by the assumption
Contradiction.
Therefore ~q.
(Since the opposite of the conclusion causes a contradiction, then the conclusion must be true).