It looks like you're new here. If you want to get involved, click one of these buttons!
I just got a question wrong because I was confused about bi-conditionals so I just want to clarify
If A<----> B, that does NOT mean that B<--->A, right?
The contrapositive of a bi-conditional in the form A<----->B is /A<---->/B
Is this right?
Comments
Yes, that is correct.
A<----> B and this B<--->A are the same. A biconditional can be read forward or backward. As someone who didn't study logic in school, I found it helpful to look up real world examples online and then come up with my own examples that apply to my everyday life. You wrote the contrapositive statement correctly. I hope this helps.
I believe you can even read a bi-conditional as material equivalent- but i took a little logic so thats a little more hard to see - but they operate the same.
the way you are writing it means that two statements are equivalent. A "if and only if B" means that A implies B and B implies A, which is diagrammed A <=> B, whose contrastive is not(A) if and only if not(B) or not(A) <=> not(B), so A and B are both necessary and sufficient conditions for each other. if you meant "A implies B" written "A => B" the contrastive of that statement is "not(B) implies not(A)" or "not(B) !=> not(A)"