함의 얘기 보고 기억난 Curry의 역설

[익명(1.227)]

"이 문장이 참이라면, 독일과 중국은 맞닿아있다"


이 문장이 참이면, 독일과 중국은 맞닿아있어야 하는데 이것은 거짓이므로 문장은 거짓임.
이 문장이 거짓이면, 함의의 정의에 따라 이 문장은 참임.

[ㅁㅁ(111.239)]

그거 사실상 러셀 패러독스 "이 문장은 거짓이다"랑 똑같은 종류 패러독스일텐데요. ¬A가 A→⊥랑 동치인거 생각해보면.

[익명(223.62)]

저도 그렇게 생각함

[주식초보(223.39)]

조건문이라는 건데 , 법률의 ' 단서 ' 를 참고해보셈