4 ms·

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

• btdmaster 1y ago
  Great catch, thanks!