Logical implication is a comparison operator btdmaster.bearblog.dev 3 points by btdmaster 13 hours ago
Nicolas89 12 hours ago Probably à typing mistake in "Denying the consequent" section, which should rather state "if P => Q then not-Q => not-P"? btdmaster 11 hours ago Great catch, thanks!
Probably à typing mistake in "Denying the consequent" section, which should rather state "if P => Q then not-Q => not-P"?
Great catch, thanks!