논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
실제로 뛴 거리보다 짧게 측정되는데.... 평소 뛰는 코스에 산 코스도 있고 언덕도...
-
이해원 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
글이 써지네요
-
논리학 지문 보면 뇌정지오고 ㅈ같은데 공부 어떻게 해야하나요 ? 기본적인 용어...
-
뭐야 내 선택과목 돌려줘요 확통은 뭐야
-
이 시기에 해야 하는 건 실모도 기출도 아닌 강민철 수강하는 거임 ㅇㅇ 오랜생각이다...
-
둘중에 뭐 먼저 푸는게 좋을까요?
-
난 아직도 경■식 보도 지문이 어떻게 그리 정답률이 높은지 이해가 안 됨.....
-
유독 계산문제만 틀려서 슬프네 극복방법 있나요?
-
국어 화작 83 수학 기하 90 영어 3 사문 100 화학2 80 정도 받으면 가능할까요
-
조와용
-
수학 몰빵 2
한 2~3주 동안 수학만 파는거 어떰ㅜㅠ? 다른 과목은 하루에 2,3시간 정도만...
-
안타까워라…
-
바탕 6차 - 13차 상상 파이널 전회차 혜윰모의고사 이감오프파이널 전회차 +문학...
-
공부하는 기분 안난다고 하는 학생들 꼭있음 ㅠㅠ 근데 그 공부하는 기분내며 완강...
-
네이버 카페 2
들어가지시나요? 오류머지
-
아 실모풀고싶다 0
국어실모벅벅 수학실모벅벅 물리실모벅벅 지구는 벅벅하다가 모르는거 50개 나오고 개같이 5등급
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ