위키 홈 Edit Proposition 참 또는 거짓으로 판정할 수 있는 선언적 문장. 엄격히 말하면 정확히 고정된 시간이 주어지지 않은 “Today is Friday”와 같은 문장은 명제가 아니다. 장소나 고유명사에 대해서도 마찬가지로 정확하게 고정된 장소나 특정 인물이 주어지지 않으면 명제가 아니다.1 Footnotes p1-3, Discrete mathematics and its application ↩