구성적 양도 논법 문서 원본 보기

{{위키데이터 속성 추적}}
[[논리학]]에서, '''구성적 양도 논법'''(構成的兩刀論法) 또는 '''구성적 딜레마'''(構成的dilemma, {{llang|en|constructive dilemma}})은 두 [[가언 명제]]와 그 두 전제의 [[논리합]]으로부터 두 결론의 논리합을 유도하는 [[양도 논법]]이다. 즉, “만약 ''P''라면 ''Q''이다. 만약 ''R''라면 ''S''이다. 그런데 ''P''이거나 ''R''이다. 따라서, ''Q''이거나 ''S''이다.”와 같은 꼴이다.

== 정의 ==
'''구성적 양도 논법'''은 다음과 같은 [[추론 규칙]]이다.<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 R\implies S\qquad P\lor R \\
\hline
Q\lor S
\end{matrix}</math>
또는
:<math>P\implies Q,R\implies S,P\lor R\vdash Q\lor S</math>
여기서
* <math>P</math>, <math>Q</math>는 [[논리식]]을 나타내는 메타 변수이다.
* <math>\implies</math>는 [[함의 (논리학)|함의]]이다.
* <math>\lor</math>는 [[논리합]]이다.
* 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다.
* <math>\vdash</math>는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다.

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

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

[[분류:딜레마]]
[[분류:직관 논리]]
[[분류:고전 논리]]
[[분류:명제 논리 정리]]