이 문장은 거짓이다
이게거짓말쟁이역설이잖아
참이라가정시 이문장이거짓이므로 거짓이되므로모순
거짓이라가정시 이문장이거짓인게 참이므로 참이되므로모순
따라서
이 문장은 거짓이다 라는 문장은 참도 거짓도 아니다
라는 결론이나오는데 이번엔 비슷하지만
"이 문장은 참이 아니다" 라는 문장을 생각해보면
참이라 가정하면 이 문장은 참이 아닌게 참이므로 참이라가정한거에 모순
거짓이라 가정하면 이문장은 참이므로 모순
따라서
"이 문장은 참이 아니다"는
참도 거짓도 아니다. 라는 결론이 똑같이나옴
근데..여기서
"참도 거짓도 아니다" 라면 "참이 아니다"가 성립해버림
그럼 결론적으로 여기서또 이문장은 참이된다고나오는데?
여기서무한루프에빠져버림
이거해결가능함?
- dc official App
뭐가 문제임?
참도거짓도아니다는 결론 => 이문장은 참이아니다라는 문장이 참도거짓도아니므로 참이아님. 따라서 참이됨=>참도거짓도아닌데?=>무한모순 - dc App
그게 왜 문제임?
참이다/거짓이다/참도거짓도아니다/참인동시에 거짓 4개만있는거아님? - dc App
일단 혼동하는 개념이 많아 보임... 구조가 주어졌을 때, 문장은 참인 것과 참이 아닌 것, 이 두 가지 종류 밖에 없음. 후자를 거짓인 문장이라고 함. 그리고 윗 댓글을 적었다는 사실로부터 감히 추측해 보건데 "X는 증명 가능한 문장이다.", "X는 그 부정이 증명 가능한 문장이다."를 각각 "X는 참이다", "X는 거짓이다"로 착각한 걸로 보임.