<P>명제함수가 맞습니다. </P> <P>우리는 흔히 말을 할 때 양화사 '모든' '어떤' 을 생략하는 경우가 많습니다. 예를들어 "삼각형의 내각의 합은 180도 이다" 는 "모든 삼각형의 내각의 합은 180도이다"로 써야 하는데 엄격히 논리형식을 갖추는 것이 일상생활에 불편하기 때문에 생략하는 경우로 볼 수 있습니다.</P> <P> </P> <P>제시하신 문장 "x in {1,2} 이면 x in {2,3]" 에서도 양화사 "모든x"가 없으므로 이 문장에는 자유변수 x가 있어서 명제가 아니라 명제함수입니다.</P>
