안녕하세요.


코어 논리학 6장 연습문제 D에 나온 문제입니다.

첨부 이미지

이 문제에 대한 해답은 이렇습니다.
첨부 이미지

첨부 이미지

여기서 의문점이 생깁니다.

전제1은 ~A → B로 되어야 하는 것 아닌가 싶습니다.

왜 이렇게 전제1을 세우는 건지 알려주시면 감사하겠습니다.