1 deductive reasoning: 연역 추리