개요
- deductive reasoning, deductive logic, logical deduction
- 연역 추론, 연역법, 연역
- 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론
- 주어진 가정에서 어떤 명제 또는 법칙을 결론으로 도출하는 행위
- 주어진 전제로부터 필연적으로 도출되는 결론을 성립시키는 과정
- 보편적 법칙이나 일반적 주장에서 특수한 법칙이나 주장을 도출하는 사고의 방법
- 이미 증명된 하나 또는 둘 이상의 명제를 전제로 새로운 명제를 결론으로 이끌어내는 것
- 이미 알고 있는 하나 또는 둘 이상의 명제를 전제로 하여 명확히 규정된 논리적 형식들에 근거해 새로운 명제를 결론으로 이끌어내는 추리의 방법
- 예시: 삼단논법