논리학입문 022-026 구문론과 의미론 그리고 자연연역