22.1 연역 추론의 정의