It looks like you're new here. If you want to get involved, click one of these buttons!
From a logic perspective (see below) I can't work out any meaningful differences, but I noticed that JY splits these off in his map of bi-conditional statements. Am I missing something?
A ↔ C
/A ↔ /C
Comments
He probably just does it to be more explicit. You're not missing anything.
Thanks for confirming