There is only one kind of proof by contradiction. Assume not P, derive a contradiction which implies not not P, then conclude (via excluded middle) P. If you a

There is only one kind of proof by contradiction. Assume not P, derive a contradiction which implies not not P, then conclude (via excluded middle) P. If you assume P, derive a contradiction, then conclude not P, that is a direct proof of negation not a proof by contradiction.