논리학
연역논증_구성적 양도논법
투니_
2023. 12. 1. 08:45
구성적 양도논법 또한 타당한 논증이다
구성적 양도논법
(p→r)∧(q→r) | p이면 r이고 q이면 r이다 |
p∨q | p이거나 q이다 |
∴ r | ∴ r이다 |
구성적 양도논법의 예
- 라이언이 파티에 간다면, 춘식이도 파티에 가고 파티에 고구마가 있다면 춘식이는 파티에 간다
- 라이언이 파티에 가거나 파티에 고구마가 있다
- 따라서 춘식이는 파티에 간다
첫 번째 전제는 두 조건문이 선언문으로 이어져 있다. (첫 번째 전제는 라이언이 파티에 갈 때 춘식이가 파티에 간다는 것도 참이고, 파티에 고구마가 있을 때 춘식이가 파티에 간다는 것도 참일 때, 참이다)
첫 번째 전제에서 두 조건문을 보면 전제는 다르지만 결과는 같다.
- 라이언이 파티에 간다면, 춘식이는 파티에 간다
- 파티에 고구마가 있다면, 춘식이는 파티에 간다
라이언이 파티에 가는 것과 파티에 고구마가 있다는 것 모두 춘식이가 파티에 가는 이유이다.
즉, 라이언이 파티에 가지 않고 고구마가 있어도 춘식이는 파티에 갈 것이고, 라이언이 파티에 가는데 파티에 고구마가 없어도 춘식이는 파티에 갈 것이다.
춘식이는 어느 전제 중 하나만 충족이 되어도 파티에 간다.
두 번째 전제는 라이언이 파티에 가거나 파티에 고구마가 있다를 말한다.(p∨q)
그러므로 춘식이는 파티에 간다.(r)