선언삼단논법 (Disjunctive Syllogism)
한 줄 정의: 'P이거나 Q이다'라는 선언 명제와 'P가 아니다'라는 전제로부터 'Q이다'를 타당하게 이끌어내는 연역 추론 형식이다.
쉽게 풀면
선언삼단논법은 '범인은 김씨이거나 이씨이다. 김씨가 아니다. 그러므로 범인은 이씨이다'처럼, 둘 중 하나라는 선택지를 제시한 뒤 하나를 배제함으로써 나머지 하나를 결론으로 이끌어내는 타당한 추론 형식이다.
논문에서는 이렇게 쓰입니다
"이 증명은 두 가지 가능성만 존재함을 보인 뒤 선언삼단논법을 통해 하나의 가능성을 배제함으로써 완결된다."
수학적 증명이 가능한 경우의 수를 두 가지로 제한한 후, 그중 하나가 성립하지 않음을 보임으로써 나머지 하나가 성립한다는 결론에 도달하는 선언삼단논법의 활용을 설명한다.
주의할 점
선언삼단논법이 타당하려면 최초의 선언 명제(P이거나 Q이다)가 실제로 모든 가능성을 남김없이 포괄해야 하며, 그렇지 않다면 거짓 딜레마의 오류에 빠질 수 있다는 점에 유의해야 한다.