자유변수가 있으면 문장은 명제가 될수 없음.


x-y= 0 이다 저런문장은 자유변수가 있기때문에 명제는 아님


그러나 자유변수에 양화사가 붙으면 명제가 될 수 있음


존재한다 x,y s.t x-y =0 이문장은 명제가 됨


각각의 x에 대해서 x-1=0 이다 이것도 명제가됨


그러면 하나의 변수에만 양화사가 붙으면 명제가 될 수 있음? 


존재한다 x s.t x-y = 0 <-이문장은 명제임? 명제가 아니라 조건이면 뒤에어떤 결론이 나올수 있을까?