연역논증_구성적 양도논법

구성적 양도논법 또한 타당한 논증이다

 

구성적 양도논법

 

(p→r)∧(q→r)	p이면 r이고 q이면 r이다
p∨q	p이거나 q이다
∴ r	∴ r이다

 

 

구성적 양도논법의 예

 

• 라이언이 파티에 간다면, 춘식이도 파티에 가고 파티에 고구마가 있다면 춘식이는 파티에 간다
• 라이언이 파티에 가거나 파티에 고구마가 있다
• 따라서 춘식이는 파티에 간다

 

첫 번째 전제는 두 조건문이 선언문으로 이어져 있다. (첫 번째 전제는 라이언이 파티에 갈 때 춘식이가 파티에 간다는 것도 참이고, 파티에 고구마가 있을 때 춘식이가 파티에 간다는 것도 참일 때, 참이다)

 

첫 번째 전제에서 두 조건문을 보면 전제는 다르지만 결과는 같다.

- 라이언이 파티에 간다면, 춘식이는 파티에 간다

- 파티에 고구마가 있다면, 춘식이는 파티에 간다

 

라이언이 파티에 가는 것과 파티에 고구마가 있다는 것 모두 춘식이가 파티에 가는 이유이다.

 

즉, 라이언이 파티에 가지 않고 고구마가 있어도 춘식이는 파티에 갈 것이고, 라이언이 파티에 가는데 파티에 고구마가 없어도 춘식이는 파티에 갈 것이다.

 

춘식이는 어느 전제 중 하나만 충족이 되어도 파티에 간다.

 

두 번째 전제는 라이언이 파티에 가거나 파티에 고구마가 있다를 말한다.(p∨q)

 

그러므로 춘식이는 파티에 간다.(r)