| r3 | ||
|---|---|---|
| r2 | 1 | [[분류:논리학]] |
| r3 | 2 | [목차] |
| r2 | 3 | == 개요 == |
| r1 | 4 | 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론. |
| 5 | ||
| 6 | 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론으로, 진리가 될 수 있는 가능성을 따지는 귀납 추론과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다. | |
| 7 | ||
| 8 | 대표적인 예로, | |
| 9 | >P이면 Q이다. → ~Q이면 ~P이다. | |
| 10 | 가 있으며 삼단논법도 일종의 연역법에 해당한다. |