I seem to represent P → Q and ~Q → P the same way in my mind...
P→Q is not logically equivalent to ~Q→P. Perhaps you meant P→Q and ~Q→~P.
Fixed, thanks.
P→Q is not logically equivalent to ~Q→P. Perhaps you meant P→Q and ~Q→~P.
Fixed, thanks.