논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
안녕하세요 통통인데요 이번 9모는 84점 나왔어요 엔티켓 시즌1, 2 다풀었는데...
-
89점 소요시간 80분 28초 독서는 문제가 너무 쉬워서 그렇지 악보랑 풍력 지문...
-
지금은 최상위권 중에 문과를 선택하는 사람 자체가 거의 없어서 아예 관심...
-
Ot에서 좀 더 쉬워진다 하셔서 편하게 생각하고 풀었는데 은근 어려ㅇㅜㅁ
-
28번 이차 분수 근 설계 **...
-
지구 공전궤도 그릴 때, 사문 도표 풀 때 등등 풀이공간 확보하는 팁좀여
-
이감 on,킬캠 시즌 1 풀었고 지금 한석원 모의고사 푸는중인데요 다 풀면...
-
23수능같은 게 저한테는 최악 아예 22 24처럼 나오거나 2209 2509처럼...
-
모고나 실모 치면 늘 3등급(75,6점대)을 받는데 작수나 올해 6,9모 난이도로...
-
커뮤에서 드릴5가 드릴 중에 제일 쉽다길래 샀는데 이것도 어려워서 끙끙대는 나는...
-
집중 안해도 9
왜케 수업 직후엔 기가 빨려있는거지
-
눈감고 만져보면 미세하게 다른 선지가 있는데 그거 바로 아래선지 찍어야함
-
인문 논술이고 학원 안 다니는데 2024 경희대 모의논술 써봤거든요 ㅜ.ㅜ 논술...
-
가나지문 통으로 버리고 나머지 지문을 보기까지 풀기 vs 보기만 버리고 다 풀기
-
생각해보니까 0
미적분 물리 지구가 남았잖아?...
-
애가 얼굴이 차은우,강동원,서강준급이었는데 어느날 학교에 왔는데 대머리가 되고...
-
또 열받게 하네 5
욕을 안 할 수가 없는
-
시즌1 96점 ㅅㅅ 11번 의문사..
-
연계 공부 안했는데 아수라랑 총정리만 봐도 될까요?
-
작년에 다니던 학원 선생님도 권해주셨고 수능 점점 가까워지니까 실전 연습겸 풀고...
-
28수능에서 통사 통과 보는건 goat라고 생각함 15
팀구 선택과목 유불리가 너무 심하다고 보기때문에 그냥 다 보는게 맞다고 생각하는데...
-
논리실증주의자는 예측이 맞을 경우에, 포퍼는 예측이 틀리지 않는 한, 1
논리싫증주의자는 관심이 없다
-
맞팔구합니당ㅇ 8
-
이창용 "강남 학생들이 상위권대 휩쓸어…극단적 해결책 필요" 2
"제조업 기반 성장 모델 고갈…한국 경제, 말 갈아타야" (서울=연합뉴스) 한지훈...
-
법과 정치 2
-
오늘 100주 더 살거임 230마넌 벌자 ㅋㅋ
-
2는 "1의 역함수이다" 3는 "1의 역함수이다" 근데 왜 2와3이 같은 표현이...
-
마지막 수2 남은 문제들도 이틀안에 끝내야지
-
확통 기출,n제수강평은 기하보다 적음
-
.
-
진짜 도와주시면 치킨? 아니 레스토랑도 사드릴 마음입니다ㅜㅠㅠ 3
현역이고 내신으로 수시 5교과, 학종 넣고 가천대라도 가자는 생각으로 자연계 약술...
-
대체 뭘 바라는 거임? 그 잘난 '검증'에 대한 기준도 없고 자기가 제시할 수 있는...
-
앱스키마로 풀었던 부분은 1분정도 걸렸음 (문학 : 모범동화 등등..) 총평 :...
-
9시간 후면 3
9시간 후면 D-50이 됩니당 다들 퐈이팅!!
-
시발 내가 왜 쓸데도 없는 브이로그 계획서를 만들어야하냐고 ㅋㅋㅋㅋ 시발 물리...
-
카이는 조금이라도 받긴 하던데 성적대는 설공 정도 되고 포공은 온니 수시라 신비스러움
-
9모기준 국어 원점수 94 화작2틀 문학1틀 수학 60 확통입니다 물론 수학이...
-
~~ 하면 수능날 지옥을 봅니다 ~~안하면 수능날 싹다 망합니다 지금부터라도 ~~...
-
진짜 공부는 하는데 성적이 오를 것 같다는 생각이 1도 안듦 그냥 해야하니까...
-
킬캠 질문 13
메가패스 안 샀는데 킬캠 구매 가능한가요? 해설 강의는 못 보겠죠? 일단 이창무...
-
ㅜㅡ
-
확통은 n제 안 풀음? 10
확통은 n제 언급이 0에 수렴하는 것 같은데… 그럼 기출 다 풀면 뭐해요..?
-
만호(망코) 참고로 망코는 일본어로 여성의 성기를 뜻함… 진짜 적나라하게 망코임...
-
ㅈㄱㄴ
-
지구황분들.. 0
실모 고트는 뭐죠?
-
경제혐오 멈춰 6
절대 경제 사수해 국어 비문학 경제는 생소해서그런거야 읽으면 할수있어
-
학교 도서관에서 권용기들으면 수능한국사 인줄 아려나.. 11
한능검인데.. 눈치보여서 못듣겠음
-
155t 1
t에알맞은숫자는?
-
수능 얼마 안남았는데 공부장소 옮겨도 됨? 지금 다니는 스카 이번주에 등록 마감이라...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ