An argument of
proof by contradiction
; often known as
denying the consequent
. It has the general argument form of:
1. If
P
, then
Q
.
2. Not
Q
.
3. Therefore, not
P
.