22.7 연역 추론의 확실성