14.14 명제 논리와 술어 논리의 관계