| r1 | ||
|---|---|---|
| r1 | 1 | >사람은 다 죽는다. |
| 2 | >소크라테스는 사람이다. | |
| 3 | >그러므로 소크라테스는 죽는다. | |
| 4 | ||
| 5 | 미리 알려진 두 판단에서 그것들과는 다른 하나의 새로운 판단으로 이끄는 추론 방법으로, 2개의 명제를 전제로 결론을 내는 대표적인 간접추론 형식이자 연역추론이다. | |
| 6 | ||
| 7 | 주로 대명제(1),소명제(2),결론(3), 대명사(A), 중명사(B),소명사(C) 에서 | |
| 8 | ||
| 9 | 1 : A/B | |
| 10 | 2 : C/B | |
| 11 | 3 : C/A | |
| 12 | ||
| 13 | 를 형식으로 갖는 일반적인 3단논법은 두 전제와 한 결론으로 이루어져야 하지만 이들 중 어떠한 한 명제가 생략될 경우가 있다. 이를 생략3단논법 또는 약식삼단논법이라고 한다. 또한 몇몇 3단논법을 결부시켜 하나의 추리를 진행시키는 경우가 있다. 이를 '복합 3단논법'이라고 한다. 특히 이러한 기술은 기호논리학으로 다루어질 수 있다. 또한 딜레마 형식으로 유명한 양도논법도 삼단논법의 변형된 정형화된 형식을 취한다. |