전건 긍정식 (Modus Ponens)
쉽게 풀면
전건 긍정식은 '비가 오면 땅이 젖는다. 비가 온다. 그러므로 땅이 젖는다'처럼, 조건문과 그 조건문의 앞부분(전건)이 참임을 근거로 뒷부분(후건)이 참이라는 결론을 이끌어내는 가장 기본적이고 명백하게 타당한 추론 형식이다.
왜 중요한가
'A이면 B, A이므로 B'라는 형식의 전건긍정식으로, 조건문과 그 전건으로부터 후건을 이끌어내는 가장 기본적이고 직관적인 타당한 추론규칙이다.
핵심 정리
- 형식: P이면 Q이다. P이다. 그러므로 Q이다. (P → Q, P ⊢ Q) 조건문의 앞부분(전건)이 성립함을 긍정해 뒷부분(후건)을 끌어냅니다.
- 이 형식은 타당합니다. 전제 둘이 모두 참이면서 결론이 거짓인 경우가 논리적으로 불가능하다는 뜻입니다. 아래 진리표로 확인할 수 있습니다.
- 타당하다고 해서 결론이 참인 것은 아닙니다. 전제가 거짓이면 결론이 거짓일 수 있으므로, 결론을 믿으려면 전제의 참까지 확인해 건전한 논증이어야 합니다.
- Carroll(1895)의 「거북이가 아킬레스에게 한 말」은, 추론 규칙(전건 긍정)을 또 하나의 전제로 넣으면 끝없이 규칙이 필요해진다는 점을 보였습니다. 그래서 규칙은 전제가 아니라 전제에서 결론으로 나아가는 방식으로 구별합니다.
| P | Q | P → Q | 두 전제(P → Q, P)가 모두 참? | 결론 Q |
|---|---|---|---|---|
| 참 | 참 | 참 | 예 | 참 |
| 참 | 거짓 | 거짓 | 아니오 | 거짓 |
| 거짓 | 참 | 참 | 아니오 | 참 |
| 거짓 | 거짓 | 참 | 아니오 | 거짓 |
전제가 둘 다 참인 줄은 첫 줄 하나뿐이고, 그때 Q도 참입니다. 이 점이 타당성의 정의에 해당합니다.
예시로 보기
가상의 예입니다. “논문 제출 마감을 넘기면 감점이다. A의 논문은 마감을 넘겼다. 그러므로 A의 논문은 감점이다.” 두 전제가 참이면 결론은 반드시 참입니다.
같은 조건문으로 순서를 바꾼 “감점되었다. 그러므로 마감을 넘겼다”는 후건 긍정이라는 오류입니다. 감점 사유는 마감 초과 말고도 있을 수 있기 때문입니다. 후건을 부정해서 전건을 부정하는 후건 부정식(Q가 아니다, 따라서 P가 아니다)은 타당합니다.
수학에서는 증명된 정리 “A이면 B”와 “A가 성립한다”로부터 B를 끌어낼 때 이 규칙을 계속 씁니다.
자주 하는 오해
| 오해 | 바로잡기 |
|---|---|
| 전건 긍정식이면 결론은 반드시 참이다. | 전제가 참일 때만 그렇습니다. 형식은 타당해도 전제가 거짓이면 결론은 거짓일 수 있습니다. |
| ‘P이면 Q’는 P가 Q를 일으킨다는 뜻이다. | 논리의 실질조건문은 인과를 주장하지 않습니다. 일상의 인과적 ‘이면’과 구별해야 합니다. |
| 후건 긍정과 같은 형식이다. | 다릅니다. 전건 긍정은 전건을 긍정하고, 후건 긍정은 후건을 긍정하며 후자만 부당합니다. |
| 모든 조건문에서 의심할 여지가 없다. | 중첩된 조건문에서는 반례로 제시된 사례가 있습니다(McGee, 1985). 조건문의 의미론을 어떻게 보느냐에 따라 해석이 갈리며 학계에서 논쟁 중입니다. |
논문에서는 이렇게 쓰입니다
실제 논문에서
이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
수학적 증명에서 이미 확립된 조건문과 그 전건이 성립함을 이용해 새로운 결론을 단계적으로 이끌어내는 데 전건 긍정식이 기본 추론 규칙으로 쓰인다는 것을 보여준다.
이미 참으로 확인된 조건문과 그 전제만 있으면 결론이 자동으로 따라 나온다는 가장 단순한 추론 규칙이라는 뜻이다.
조금 더 깊게 보면
형식적으로는 자명해 보이지만, 특정 조건문 맥락에서 전건긍정식의 타당성에 의문을 제기하는 사고실험들이 제시되어 조건문의 의미론에 대한 논쟁과 맞물려 다뤄지기도 한다.
전건 긍정식은 명제논리 자연연역 체계에서 조건문 제거 규칙으로 공식화되며, 이는 조건문 도입 규칙(가정을 세워 결론을 얻으면 조건문 전체를 결론으로 얻는 규칙)과 짝을 이루어 조건문을 다루는 가장 기본적인 두 추론 규칙을 구성한다.
컴퓨터 과학의 자동 정리증명이나 규칙 기반 전문가 시스템에서도 전건 긍정식은 새로운 사실을 기존 사실과 규칙으로부터 도출하는 가장 기본적인 추론 엔진으로 널리 구현되어 있다.
가언삼단논법이나 구성적 딜레마 같은 파생 규칙도 자연연역에서는 조건문 제거(전건 긍정식)를 조건문 도입 등 다른 기본 규칙과 결합해 도출되므로, 전건 긍정식은 가장 기초적인 추론 단위 역할을 한다.
주의할 점
전건 긍정식은 라틴어로 '긍정하는 방법'을 뜻하며, 조건문의 후건을 긍정해 전건을 잘못 이끌어내는 오류인 후건 긍정의 오류와 이름이 비슷하니 혼동하지 않아야 한다.
전건 긍정식은 라틴어로 '긍정하는 방법'을 뜻하며, 조건문의 후건을 긍정해 전건을 잘못 이끌어내는 오류인 후건 긍정의 오류와 이름이 비슷하니 혼동하지 않아야 한다.
형식적으로는 자명해 보이지만, 특정 조건문 맥락에서 전건긍정식의 타당성에 의문을 제기하는 사고실험들이 제시되어 조건문의 의미론에 대한 논쟁과 맞물려 다뤄지기도 한다.
헷갈리기 쉬운 용어
조건문을 쓰는 추론 형식을 구분합니다.
| 이름 | 형식 | 타당성 |
|---|---|---|
| 전건 긍정(modus ponens) | P → Q, P ∴ Q | 타당 |
| 후건 부정(modus tollens) | P → Q, ¬Q ∴ ¬P | 타당 |
| 후건 긍정 | P → Q, Q ∴ P | 부당(오류) |
| 전건 부정 | P → Q, ¬P ∴ ¬Q | 부당(오류) |
참고 문헌
- Carroll, L. (1895). What the tortoise said to Achilles. Mind, 4(14), 278–280.
- McGee, V. (1985). A counterexample to modus ponens. The Journal of Philosophy, 82(9), 462–471.
- Sider, T. (2010). Logic for Philosophy. Oxford University Press.
- Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). Pearson.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.