Probably à typing mistake in "Denying the consequent" section, which should rather state "if P => Q then not-Q => not-P"?