논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
계정이 나보다 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 중에 뭐가 더 어렵게 느낌?
-
20번 고지자기 못풀겠는데 알려주라요...
-
추나요법으로 허리 통증 극복...
-
몇문제밖에 못풀었는데 학고가 끝났어..
-
'트리비아'라는 문단이 꼭 있었던 것 같은데 왠지 요즘은 안 보이는 것 같다는...
-
정확히는 뇌를 뺀다고 느끼지만 사실은 뇌를 최대한 굴려서 사고력을 올리는 공부법...
-
작수 화학1 0
원과목 중 2컷이 화1이 41로 가장 낮았던 이유가 17번 실수 유발 때문인가요?...
-
아무리봐도 대놓고 그런엠비티아이 특징 나타내는 사람들이 많이보여서 믿게됨
-
(문학질문) 해가 바뀌다->계절적 배경이 겨울인가요? 2
김영랑 거문고에서이감에서 이 시에 계절적 배경이 드러나지 않는당고 했는대 벽에...
-
과탐 평균 3등급 목표인데 지금 뭘 해야할까요?(생1, 지1) 10
6월 말에 수능 진입한 30대입니다. 9모까지 생1은 백호 상크스, 올바원,...
-
오늘은 유난히 0
날씨도 좋고... 공부하기 싫은 날이네요
-
둘 다 합격하면 어디 가시나요?
-
개추 ㅋㅋ
-
오지모 시즌2는 폭탄맞고 30중반에서 30초 진동하는데 오리온은 훨씬 잘니와서 보통...
-
마취총임 ㄹㅇ
-
13 22 25틀 89점 13 25 계실ㅋㅋ 그냥 무난함 강x레벨 1컷 88예상합니다
-
드디어 2
글이 써지네요
-
논리학 지문 보면 뇌정지오고 ㅈ같은데 공부 어떻게 해야하나요 ? 기본적인 용어...
-
뭐야 내 선택과목 돌려줘요 확통은 뭐야
-
이 시기에 해야 하는 건 실모도 기출도 아닌 강민철 수강하는 거임 ㅇㅇ 오랜생각이다...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ