연역법 演繹法 deduction

1. 형식적 추리와 같은 뜻으로 귀납법(歸納法)에 대립되는 것. 형식논리학에서 삼단논법(三段論法)이 그 대표적인 것이다.

2. 보편적 법칙이나 일반적 주장에서 특수한 법칙이나 주장을 도출하는 사고의 방법

3. 형식논리학에서는 몇 개의 주어진 전제로부터 필연적으로 도출되는 결론을 성립시키는 과정을 뜻하고, 일반적인 의미로는 주어진 가정에서 어떤 명제 혹은 법칙을 결론으로 도출하는 행위를 뜻한다. ⇨ 귀납법