구성적 양도논법(constructive dilemma)은 두 조건문과 그 전건들의 선언을 전제로 하여 후건들의 선언을 도출하는 추론 형식이다. 여기서 선언은 둘 중 적어도 하나가 참이라는 뜻이다.
논리 형식
P→Q, R→S, P∨R이 모두 참이면 Q∨S가 참이다. P가 참인 경우에는 Q가 따라 나오고, R이 참인 경우에는 S가 따라 나오므로 어느 경우든 Q와 S 중 적어도 하나가 참이다.
해석상의 구분
이 추론은 Q 하나나 S 하나를 개별적으로 확정하지 않는다. 또한 P∨R은 두 명제가 동시에 참일 가능성을 배제하지 않는다. 조건문 전제만으로는 전건의 참을 보장하지 않으므로, 전건들에 관한 추가 전제가 추론에서 역할을 한다.