Comment by BlackFly

There is no distinction in logic between a positive statement and a negative statement. Every proof of a proposition P is also a proof of !Q where Q = !P.

Proof by contradiction is just that, assume P -> get contradiction, therefore proof that !P.

People really need to retire this canard.