Nicolas89··on Logical implication is a comparison operatorProbably à typing mistake in "Denying the consequent" section, which should rather state "if P => Q then not-Q => not-P"?