Ok question on this. Lets say we have "if A then no B unless C". According to JY we can diagram as follows:
A-->(B-->C)
we pull the first term in the parentheses out and make the arrow an and to yield:
resulting statement 1: A and B --> C
or we could have diagrammed the original statement as
A--> (~C-->~B)
pulling the first term out and adding an and yields:
resulting statement 2: A and ~C --> ~B
I was expecting resulting statements 1 and 2 to be logically equivalent but they are not. Can anyone clarify why this is not the case? I would imagine this affects one's chances of correctly answering a question with an embedded conditional.