Let $p$ and $q$ be propositions. Using only the Truth Table, decide whether
$p \Longleftrightarrow q$ does not imply $p \to \lnot q$
is True or False.
So, "imply" is FALSE making does not imply TRUE.
Could you please point out the flaw in my argument?
Can you please explain how p<->q does not imply p→¬q is false?
It's ok. In one text book also they givep<->q does not imply p→¬q is false .