Hacker News Reader

Not necessarily. p=>q does not mean q=>p, after all.

It does when !p=>!q.

!p=>!q is exactly q=>p, and p=>q has nothing to do with that.

I feel like you should read the original comment again.