집합론 도입부분을 봤는데
statement: a declarative sentence that is either true or false.
라고 서술되어 있고, 계속해서
Usually we can determine immediately whether a statement is true of false, ...
라고 서술되어 있습니다.
그런데 만약 '2022년 9월 7일 오전 10시에는 비가 온다.' 라는 문장을 고려해보면,
이 문장의 참 or 거짓은 2022년 9월 7일 오전 10시가 되어야 알 수 있습니다.
그 전에는, '만약 저 시각에 비가 온다면 참이고, 비가 오지 않는다면 거짓이다..' 라는 가능성만 따질 수 있는 것으로 생각이 됩니다,
이런 경우 저 시각이 되기 전까지는 참 or 거짓을 말할 수 없지만 그 후부터는 말할 수 있게 되는 것 같은데...
이러면 어떨 때는 명제가 되고, 어떨 때는 명제가 되지 않는... 그런 문장이 되는 것 같은데요.
뭔가 statement의 정의가 좀 더 엄밀해져야 할 것 같다는 생각이 듭니다. 위키의 명제 문서를 찾아봐도 다른 예시들을 통해서, '보다 엄밀한 정의가 요구된다'고 서술되어 있네요.
그런데 결론적으로 명제의 수학적 정의는 뭐다... 라는 내용은 없는 것 같습니다. 이에 대해 답변해주시거나 관련된 읽을 거리를 추천해주시면 감사하겠습니다!
