연역적 추론은 논리학 용어로, 전제를 근거로 결론을 유도하는 추론이다.  진리가 될 수 있는 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다.

질문: 전제를 근거로 결론을 도출했다면 연역적 추론인가?