가언적 삼단 논법 문서 원본 보기

{{위키데이터 속성 추적}}
[[논리학]]에서, '''가언적 삼단 논법'''(假言的三段論法, {{llang|en|hypothetical syllogism}}) 또는 '''연쇄 논법'''(連鎖論法, {{llang|en|chain argument}})은 두 개의 [[가언 명제]]로부터 [[추이적 관계|추이성]]을 통해 새로운 가언 명제를 유도하는 [[삼단 논법]]이다. 즉, “만약 ''P''라면, ''Q''이다. 만약 ''Q''라면, ''R''이다. 따라서, 만약 ''P''라면, ''R''이다.”와 같은 꼴이다.

== 정의 ==
'''가언적 삼단 논법'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용
|성=Lover
|이름=Robert
|제목=Elementary Logic
|언어=en
|출판사=Springer
|위치=London
|날짜=2008
|isbn=978-1-84800-081-0
|lccn=2008928865
|doi=10.1007/978-1-84800-082-7
}}</ref>{{rp|184, §16.3.1}}
:<math>\begin{matrix}
P\implies Q\qquad Q\implies R\\
\hline
P\implies R
\end{matrix}</math>
또는
:<math>P\implies Q,Q\implies R\vdash P\implies R</math>
여기서
* <math>P</math>, <math>Q</math>는 [[논리식]]을 나타내는 메타 변수이다.
* <math>\implies</math>는 [[함의 (논리학)|함의]]이다.
* 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다.
* <math>\vdash</math>는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다.

== 성질 ==
[[직관 논리]]에서 성립하며, 따라서 [[고전 논리]]를 비롯한 모든 [[초직관 논리]]에서 성립한다.

== 같이 보기 ==
* [[선언적 삼단 논법]]

== 각주 ==
{{각주}}

[[분류:삼단 논법]]
[[분류:직관 논리]]
[[분류:고전 논리]]
[[분류:명제 논리 정리]]