6장 연습문제 c 7번에
"남중이가 상점에 갔다면, 우리는 무언가 먹게 되지만, 남중이가 상점에 가지 않았다면 우리는 아무것도 먹지 못한다"
이 문장을 기호화 하는 문제인데요 저는 (X->Y)V(~X->~Y)이렇게 생각을 했는데 답을 보니 선언 기호가 아니라 연언 기호라고 하더라고요.. 저는 이 문장이 선언 기호 양쪽의 가능성 중 한 쪽만 일어나는 것을 의미하기때문에 선언을 써야한다고 생각을 했었는데 혹시 오답인 이유를 설명해 주실 수있는 분 계십니까..?

논리학 이 책으로 처음 입문한 논린이라..막히는 부분들이 있어 질문 올립니다..

- dc official App