구성적 양도 논법
논리학에서, 구성적 양도 논법(構成的兩刀論法) 또는 구성적 딜레마(構成的dilemma, 영어: constructive dilemma)은 두 가언 명제와 그 두 전제의 논리합으로부터 두 결론의 논리합을 유도하는 양도 논법이다. 즉, “만약 P라면 Q이다. 만약 R라면 S이다. 그런데 P이거나 R이다. 따라서, Q이거나 S이다.”와 같은 꼴이다.
정의 편집
구성적 양도 논법은 다음과 같은 추론 규칙이다.[1]:184, §16.3.1
또는
여기서
성질 편집
각주 편집
- ↑ Lover, Robert (2008). 《Elementary Logic》 (영어). London: Springer. doi:10.1007/978-1-84800-082-7. ISBN 978-1-84800-081-0. LCCN 2008928865.