14.12 술어 기호와 함수 기호