(1) 지구가 평평하면 1+1=2가 아니다

(2) 삼각형 세 각의 합이 180도면 눈은 하얗다


1 가정이 거짓이므로 결론의 참, 거짓과 무관하게 문장 전체의 진릿값이 참

2 가정과 거짓이 모두 참이므로 참




이런걸 '실질 조건문의 역설'이라고 하는 것 맞나요?

이런 반직관적인 추론을 올바르다고 말해야 하는 것이 문제라고 생각되기 때문에 논리학자들이 여러 대안을 제시한걸로 아는데

최종적인 해결이 났는지 궁금합니다...