PT68번인가에 첫번째 LR 23번
보통은 Justify 문제는 그 형태가 다 맞는거같은데, 예를들면, A->B 따라서 C->B, 이 경우 정답은 C->A.
근데 23번의 경우 제 이해로는
P: A->B
C: !(B->!C)
이런 형태인거같더라구요. 결론을 고치면, B->C 이렇게 되는거같은데 (reject claim을 negation으로 봐서), 정답이 A->C.
P+C=AnswerCh가 되는거 같은데.. 잘 이해가 안되요.
그래서 생각한건 Q.Stem에 enables 그리고 결론에 not이 있기 때문에 반례가 존재 한다는 것만 보여주면 되서,
A->C가 되면 some B->C는 참이 되기 때문에 B->!C는 틀렸다 라고 말하는게 합당하다. 이게 제가 내린 정답의 이유인데
제가 생각하고 있는게 제대로 된건가요?