논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
옯끼야야약!!!!
-
만표 141이면, 공통/선택틀 표점차 없다는 의미? 0
141=100 138=96 135=92 132=88(전원1등급) 갠적으론 만표...
-
백호는 솔직하게 난이도 상당히 높음 킬러배제 의미 없음 사탐런 영향도 있는듯...
-
3 5 6 7 9 10 수능 물1 47 47 50 50 50 50 47 지1 47...
-
과탐사탐 0
과탐 하나 사탐 하나 하면 과탐 가산점 받을 수 있나요?
-
실채점 ㅈㅂㅈㅂㅈㅂ
-
지금 보니까 ㄹㅇ 개웃김 ㅋㅋ 근데 회차 거듭할수록 점점 반복개그가 돼서 재미 없어지는...
-
님들 왜살아요 4
전 자살하면 지옥갈까봐 사는 중 (놀랍게도 진짜임)
-
물론 제일 좋은건 행복하게 살다가 늙어서 자연사이긴 하지만 한평생 고생하고 돈문제로...
-
S대 갈끄니까.
-
그럴일은 없겠지
-
쿠펀치? 그 앱에는 “확정”이라고 뜨는데 아직 카톡이나 문자가 안와서요.....
-
겠냐.
-
궁금하면오해원 캬캬캬컄
-
자기는 만년4따린데 핑계대면서 실전개념탓을 하고 현실을 부정함 인정하면 ㄱㅊ
-
동성애 내용이 있는건 알았지만 초반부터 남자끼리 키스하길래 음. 난 이성애잔데...
-
도르마무임
-
플로버 손 21
-
시간 겁나 안감...
-
22수특 문학 작품 중계달리다가 너무 도배했는지 윤통시 회원들한테 미운털박혀서...
-
더지니어스 같은 서바이벌 프로그램 마니아신 분 있나요? 0
뭐가 제일 재밌었음? 제가 본 건 더지니어스 1,2,3,4 소사이어티게임 2...
-
난 저걸 왜 하는지 이해가 안 감 교과전형 안락사당하는 거 아닌가?
-
현실은 수능에서 누백 상위10퍼안에들어야 간신히 감 인정하면 ㄱㅊ
-
ㅠ
-
대학추천 0
그나마 수학이랑 탐구가 괜찮은데 저한테 유리한 대학추천좀..
-
"조금" 어렵게 출제된게 아닌거 같은데...
-
이상한사람 0
1. 문과쪽 머리(내신 국영이 수학보다 평균 한등급 높음, 모고도 백분위 항상...
-
2만 덕코나 기부를 받았는데 복권에 다 쓰고 결국 빈털털이가 됐다 내자신이 민망하고 한심스럽다
-
ㄹㅇ 성적표 나오고 신청 들어가던데 뽑혔으면 좋겠다....답변 잘해줄수있는데....
-
팔로잉수 정리 완료 14
정상화 on 근데 400명 밑으론 못내리겠다 맞팔+기억에 오래 남는 오르비언+칼럼러라...
-
기하물2지2 이거 전국에 몇명이나 있으려나요
-
와 뭔가 호구되는느낌이네 머리띵하다 참
-
엄청 높나요..? 서강이나 한양은 2-3점 정도 차이나는데 성대가 특히 텔그랑...
-
일 강도 실화냐 4
4시부터 논스톱으로 일했네 돈벌자..
-
종종 므흣한 짤도 올라오고 그랬던...
-
하아... ㅠㅠ
-
저 사실 8
외대부고 다녔어요
-
왜이럼뇨..탈릅하라는거임뇨?
-
설뱃다신 분이랑 던킨더넛은 맞고소 해도 특정성때매 의미없지않나요? 그것도그런데...
-
까르보불닭에 한우등심구이 섞어서 먹기 와장창창
-
왤케당당함 애들 님들 학교도 이럼?
-
맞팔 5
구함
-
울산 사는데 걸어서 에리카까지 가는 거임뇨 ㅋㅋㅋ
-
24수능 확통 96(22틀) 25수능 미적 88(20,28,30틀)인데 경한 목표면...
-
수능이 다가오니까 정신나가서 바니걸 입고 찍은거 인증한 사람도 있었음
-
말도안되는 짓이겠죠 나이로치면 오수생이고 26때 안뽑을 가능성도 있는데 그냥...
-
던킨도넛이나 서강대한의대 둘다 맞고소임? ㅋㅋㅋㅋㅋ
-
얼버기 5
아직 11시밖에 안됐네 점심 뭐먹지
-
ㅈ반 가서 내신 따도 교과로 가는거 힘들어지는거 아닌가여??...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ