Logical implication is a comparison operator btdmaster.bearblog.dev 3 points by btdmaster 14 hours ago
Nicolas89 13 hours ago Probably à typing mistake in "Denying the consequent" section, which should rather state "if P => Q then not-Q => not-P"? btdmaster 12 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!