22.11 연역의 기계적 적용 가능성