논린이 코어 논리학 이해 안 가는거 질문

[마유미(r6d9jofyi86x)]

3에 ~도입하면 X가 ~X되는건 당연한데

왜 5에 ~도입하면 ~X가 나오는지 모르겠음

[익명(211.246)]

5에서 Y에 ~를 도입한게 아니라 2를 가져온거임. X를 참이라 가정하면 Y가 참인 동시에 거짓인 모순이 발생하니 그걸 피하기 위해서 ~X가 나온거

[익명(180.83)]

3-5까지의 추론 과정을 훑어볼 때, 3이 가정될 경우 5번까지 추론에서 모순이 발생하므로, 가정 3을 제거하고 그 부정을 도입하는 것입니다.