Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A Simple Logical Puzzle That Shows How Illogical People Are. Parent comment
No, "if P then Q" negated is "P and not-Q"
"If not-P then not-Q" is the inverse of "if P then Q".
"If not-Q then not-P" is the contrapositive of "if P then Q".
S is true -> the negation of S is false -> the contrapositive of S is true -> (nothing at all about the inverse of S)
There are no comments on this comment yet.
No, "if P then Q" negated is "P and not-Q"
"If not-P then not-Q" is the inverse of "if P then Q".
"If not-Q then not-P" is the contrapositive of "if P then Q".