14.10 술어 논리의 기본 개념