앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

조작하며 읽는 연구입문과 적용 · 약 10분원문: 학술지·학회 발표 자료 · 2025

해설·교육용 구성: LTCT 편집부 · 게시 2026.10.08 04:00:00 KST · 최종 수정 2026.10.08 04:00:00 KST

‘P이면 Q’라고 했는데 P가 거짓이고 Q도 거짓이라면 문장 전체를 왜 참으로 적을까요? 물질조건문은 P가 참인데 Q가 거짓인 한 조합만 규칙 위반으로 봅니다. 이 계산은 반례를 찾는 데 강력하지만 일상 조건문의 모든 의미를 보존하지는 않습니다.

학술 자료의 내용

연구를 읽는 두 가지 질문

Open Logic Project의 forall x: Calgary는 진리함수 논리가 문장 성분의 참·거짓이 전체 참·거짓에 기여하는 방식만 남긴다고 설명합니다. 강조·함축·일상적 뉘앙스는 같은 기호화에서 사라질 수 있습니다. [1]

교재의 도형 예시는 ‘회색이면 원’이라는 규칙에서 회색 네모만 조건문을 거짓으로 만든다고 설명합니다. 흰 도형은 원인지 아닌지와 관계없이 앞조건을 만족하지 않으므로 그 규칙의 반례가 아닙니다. [1]

교재의 한계 장은 앞조건이 거짓이면 서로 반대처럼 들리는 두 조건문도 모두 참이 될 수 있는 물질조건문의 역설을 다룹니다. 이는 진리함수 기호가 일상 언어의 가정법·관련성을 모두 포착하지 못하는 지점입니다. [2]

그림으로 생각하기

규칙을 ‘도형이 회색이면 원이다’라고 둡니다. 회색 원은 규칙을 만족하고, 회색 네모는 앞조건이 참인데 뒤조건이 거짓이므로 반례입니다. 흰 원과 흰 네모는 앞조건인 ‘회색’을 만족하지 않아 이 규칙을 깨뜨리지 않습니다.

관계로 추론: 흰 네모에서 ‘원이다’가 거짓인데도 조건문 전체를 참으로 계산하는 이유는 무엇인가요? 해설: 조건문이 금지한 경우는 회색이면서 원이 아닌 도형입니다. 흰 네모는 그 금지 조합이 아니므로 반례가 아닙니다.

조건을 바꾸어 적용: 규칙을 ‘원이라면 회색이다’로 뒤집으면 어떤 도형이 새 반례가 되나요? 해설: 흰 원이 앞조건을 만족하지만 뒤조건을 어기므로 반례가 됩니다. 조건문의 방향을 바꾸면 검사할 집합도 달라집니다.

직접 조작하며 생각하기

앞조건 P와 뒤조건 Q의 참·거짓을 바꾸세요. 물질조건문 P→Q는 P가 참인데 Q가 거짓인 한 경우에만 거짓입니다.

현재 행앞조건 P가 참뒤조건 Q가 참

현재 P→Q는 참 · 앞조건을 만족하지 않아 이 행은 반례가 아닙니다.

형식 논리의 진리함수 계산입니다. 일상 언어의 인과·관련성·가정법 조건문을 모두 같은 뜻으로 판정하지 않습니다.

물질조건문은 진리함수 언어에서 쓰는 형식적 연결사입니다. 자연어의 모든 ‘만약 …라면’이 원인·시간·관련성을 버리고 이 표와 완전히 같은 뜻이라는 주장이 아닙니다.
앞조건이 거짓인 행을 참으로 표시하는 것은 뒤조건의 사실성이나 인과관계를 새로 입증한 것이 아닙니다. 그 행이 조건문의 반례가 아니라는 계산입니다.
가정법 조건문, 모호한 표현, 가능세계에 관한 질문에는 진리함수 논리보다 더 풍부한 분석이 필요할 수 있습니다.

원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]

배운 내용을 수업에 적용하기

논리 수업에서 규칙 문장을 검사할 때 ‘앞조건을 만족하는데 뒤조건을 어긴 사례’만 반례로 셉니다. 앞조건 자체를 만족하지 않는 사례는 규칙을 지지하는 새 증거라기보다 그 규칙의 적용 대상이 아닌 행입니다.

일상 언어의 ‘만약’에는 원인·관련성·가정법이 섞일 수 있습니다. 진리표 계산이 끝난 뒤에도 이 물질조건문이 실제 문장의 의도를 충분히 나타내는지 별도로 확인합니다.

한 번 더 생각하기

생각을 비교할 해설 펼치기

그 행이 규칙의 반례가 아니라는 뜻으로 읽습니다. 뒤조건이 증명됐거나 두 문장이 인과적으로 연결됐다는 뜻으로 넓히지 않고, 자연어 문장이 물질조건문으로 적절히 기호화됐는지도 따로 확인합니다.

한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.

이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준

출처·개념 네트워크

같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.