22.2 연역 추론의 형식적 특성