10.2 논리적 추론의 형식적 체계와 기본 구성 요소