Consider we want to prove that
>if p, then q
through indirect proof
then we should be proving
>not q therefore not p
is this sufficient for a proof of the intial proposition?
>if p, then q
through indirect proof
then we should be proving
>not q therefore not p
is this sufficient for a proof of the intial proposition?
