논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이건 내가 할 수 있는게아니다.
-
맞팔구합니다 14
첫 맞팔구 잡담태그 잘다시는분이면 좋겠어요
-
국어푸는순서 6
집중력이 가면갈수록 떨어지는사람, 성급하면 화작 문학 비문학인가요? 자신만의...
-
쉬면서 잠깐 폰보다가 요즘 하도 쇼츠랑 릴스에 흑백요리사 뜨길래 재밌어보였음 하지만...
-
은혜 ㄱㅅㅎㄴㄷ ㄱㅅㅎㄴㄷ..
-
ㅈㄴ 어렵네
-
지문형 문법 맞은 문제가 하나도 없네 이유: 현장에서 문제 구경도 안하고 찍고 나옴...
-
이건 ㅅㅂ 나한테 너무 어려움
-
(한 번만 읽어주세요ㅠㅠ!) 수학 5월 시작 9모 14111 3등급 목표입니다 7
고3, 미대 입시를 그만두면서 수학을 올해 5월에 시작했습니다 다른 과목들(언매...
-
잘하면 오늘 한완수 수2 끝낼 수 있겠네요
-
오 이건 좋은데 22
수능끝나고 금테 찍고 과외모집글을 벅벅
-
그런거보고 궁상 많이 떨었는데 적어도 젊으면 궁상보다는 돈벌궁리가 맞지않음??...
-
아무회차나 기억나시면 말 좀 해주세요 ㅠㅠ 유빈이로 풀어서 등급컷을 못봐요..
-
당시엔 지금 당연시 사용되는 어둠의스킬같은거 대부분이 없는걸 감안하고 봐야한다고...
-
오리비 티비로 돌아와줘요
-
신기하노
-
ㄹㅇ
-
설렌다 0
가성비 무슨일이야진짜
-
계정이 나보다 5살이나 많아 응애
-
이거보고 오리비티비 깜짝출현후 남캐일러 영업하기로햇다.
-
공부한 느낌이 안나네 그냥 하루에 하나씩 풀세트 모고 풀까…….음
-
n제 한 번도 풀어본적 없는 뉴비고 서바랑 브릿지 실모만 돌리다가 n티켓 시즌2...
-
아수라 0
올라왔당히히
-
단심가 ㅋㅋㅋㅋ
-
요즘 어지간한 실모 풀어도 28, 29, 30 3개중 2개는 맞추는데 이건 3개 다...
-
ㅋㅋㅋ
-
수1+수2 개념을 많이 돌리긴 했는데 단원을 넘어갈 때마다 계속 까먹으니 수학을...
-
베테랑2 봤습니다
-
수능에선 실수하지말자
-
실제로 뛴 거리보다 짧게 측정되는데.... 평소 뛰는 코스에 산 코스도 있고 언덕도...
-
이해원 s3 3
이해원 모고 시리즈로 샀는데 s3 초중순에 배송이라면서 말일에 다다르는데 아직도...
-
.
-
수능때 갑자기 6
삼도극이나 무등비 부활하면 웃기겠네
-
아니 진짜 실제말할때 처럼 적용되는데...? Ai발전 체감되네
-
언매이고 3모부터 32231이고 9모 공통다맞고 언매만 2개틀렸습니다 겨울방학때는...
-
이것만 들어도 ebs대비 가능함뇨?
-
컄캬
-
e^0=0으로 계산한 것을 발견했을때 몰려오는 분노, 허무감, 자기혐오
-
9덮 언제임? 1
이번주중인가?
-
아이디어 워크북 모두 4점 기출인가요?
-
댓글로 남기기 좀 그런 것들은 오픈채팅으로 주시면 감사하겠습니다 시간 날 때마다...
-
. 플룸의 연직운동은 판을 움직이는 주요 원동력이 아니다. 조립질 암석은 화산활동에...
-
작수 백분위 100 표준점수 145 였습니다. 질문 받아보니 과외 준비할때 저에게도...
-
노트를 집에 놔두고 패드만 들고왔네...
-
문개정 문상추 했는데 개념어 계속 접하고 상황추론 계속 해보고 하니까 풀수록 감 오르는 듯
-
학생들이 많이 어려워하나요?
-
강대X 2
님들 시즌 1,2 중에 뭐가 더 어렵게 느낌?
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ