10.4 술어 논리의 양화사와 변항 바인딩