어제 2시에 기숙사에서 잤다를 명제로 어떻게 표현하냐?

[익명(117.111)]

시간은 어떻게 표현하노

[익명(61.255)]

그대로 명제 아니냐? 진리치를 따질 수 있고 평서문이고

[익명(122.38)]

Fm&Gm

[익명(122.38)]

F _는 2시에 잤다

[익명(122.38)]

G _는 기숙사에서 잤다

[익명(122.38)]

m 나

[익명(122.38)]

2시 이후와 이전에 관한 추론을 위해 기호화하고 싶다 히면 시제논리가 필요함

[익명(115.21)]

“명제”란 단지 어떤 문장의 의미를 뜻하는 말이고, 너는 아마 형식 언어로 어떻게 쓰는지를 묻는 것 같아. 그런데 해석함수 I에 대해, I(p) = ‘어제 2시에 기숙사에서 잤다’라고 p를 정의해버리면, 이것 또한 형식화겠지.

[익명(115.21)]

아마 그렇다면 니가 묻는 건 ‘자연언어 문장의 요소들 각각에 대응되는 요소들로 구성된 대응되는 형식언어 문장’이 무엇이냐는 것일 텐데, 여기에서는 122.38 말처럼 (양상 논리의 한 응용인) 시제논리를 쓰면 된다. Tense logic을 검색해 찾아보시길.