양화논리에서 자유변수가있으면 명제가 아니잖아???ㅇ

근데\' x가 짝수면  2는 짝수다\'  라는건 자유변수x가 있고 자유변수에 양화사도 안붙었지만 항상맞는 명제 아냐???