Is there any chance for someone to explain this question in detail.
Thanks

Now it's clear, thank you. I just have question as to biconditional arrow. You said:


[quote="timmydoeslsat"]

When you negate one side of a biconditional arrow, you must negate the other.


are you talking about contrapositive there or it's something else?