논리학 이야기
게시글 주소: https://orbi.kr/00069271896
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
분컷 96 먼가 이전 회차보다 쉽게 나온듯
-
되서랑 돼서를 구분못하고 되서라 쓰는거 짜치네
-
저 나름 n제 많이 풀었는데 성적이 안 올라요.. 이런 경우엔 n제양치기를 늘리는게...
-
이감수학 파이널2 2회 50점대 박음;;; 작수 2등급인데 뭐지 진짜
-
신의 심판을! 0
-
솔직히 스누는 진짜 대단한 사람들... 부등호 하나는 더 붙지 않을까 싶어요.
-
ㄱㅇㅇ 다다익선 0
난이도가 얼마나 됨 90 떴는데 쉬운건지 어려운건지
-
수능망령의삶 0
이거 너무 싫다 올해는 성불해야지 현역때랑 삼수때 다녔던 재수학원 가는 길 걸으니까...
-
20번에 ㄱ 선지 모르겠어요 ㅠㅠ 밑줄친부분이 역자극기라는 거니깐 이 때에는...
-
D보기가 주어 부사어를 필요로 하는 두자리 서술아라는데 왜 서술어가 부사어를 꼭 필요로 하나요?
-
1회차 9/11 13:58 2회차 11/11 8:28 3회차 11/11 4회차...
-
식용개 마리당 최대 60만원 보상…2027년부터 개고기 먹으면 처벌(종합) 3
[세종=뉴시스]김동현 기자 = 정부가 개 식용 종식을 위해 식용 목적으로 개를...
-
우리가 사는 저차원 보다 더 고차원인곳에서 우리의 과거미래현재를 다 볼수있고 가끔씩...
-
반수 이유가 전적대 학교 쪽 문제였는데 올해 해결됐네요...
-
더 많이 들어 있나요??
-
반드시하라는데 ㅋㅋㅋ
-
작문 마지막 3점문제에 ~을 추가,구체화,보강한다 선지있잖아요 추가한다는 선지를...
-
어그래 테무에서 산 호랑이는 이겨야지
-
대성같은 데는 담임이 있잖아요 각 반마다 시대인재 강사진 생활담임 이렇게 끝인가요?
-
28 수능 통합사회 통합과학 되면 현 사탐과탐 강사들 어케 되는거임? 0
ㄷㄷㄷㄷㄷ강사들도 존나 혼란스러울듯
-
예를들어 독서 기출 첨보는 한 지문을 시간재고 푸는데 다맞거나 한개틀리는데 시험볼땐...
-
23국어컷 볼때마다 이해안되네 차라리 24국어컷은 이해라도 가는데
-
대표들 사이에서 싸움나서 사무실에 조폭 오고 소리지르고 경찰오고 그러는데 이거 탈출각임? ㅅㅂ...
-
“의대 교육이 뭔지도 모르면서 자신있게 말하는 대통령, 이해할 수 없어”[박주연의 색다른 인터뷰] 2
2025년 의대 정원부터 재조정 필요…수험생 소송? 배상하면 돼 성태윤 정책실장...
-
한은 총재 "강남 학생 명문대 입학 제한해야 집값 잡는다" 2
[파이낸셜뉴스] 이창용 한국은행 총재는 "한국 상위권 대학에서 서울 강남 지역 고교...
-
파본검토하는데 열자마자 과학 있어서 토함 근데 넘겼는데 과학자 어쩌고 해서 또 토함
-
얼버기 0
질문받는다
-
는 작아요 입결만 봐도 설대와 연고 차이 보다 연고와 서성한 차이가 작다는 걸 알...
-
하 9덮 0
인문지문 사회지문 3점 찍었네 ;
-
캬.....
-
패드 가져올걸 6
-
9덮 국어뭐지 3
독서론이 화작보다 어렵네,, 문학도 좀 오래걸렸는데 망했네
-
하
-
잠이 안와서 3시간 자고 바로 9덮 응시했는데 화작에서 집중이 하나도 안되서 똑같은...
-
타임어택 ㅅㅂ 5
이게 맞냐
-
항상 시간제한에 걸려서 70점이 끝이고 그 위로 오르지가 않아요.. 3등급은...
-
집증 1도 안되고 문학 ㅈㄴ어려웠어서 별표남발함 시간도 없어서 검토도 못함...
-
9덮답비교 0
저랑 답다르면 님이맞고 제가틀린거임 언매시간없어서 찍은거많아서 공통만 54325...
-
수1 질문 2
일단 x는 1기준으로 두 함수가 생기는거고 여기서 a-1,a+1이 2차이가 나는건...
-
시간을 달려서~ 0
대학생이 될 수만 있다면 거친 수능 속에서 실모를 풀어줄게~
-
9덮 국어 1
어땠어요?
-
영어 공부하기 싫다
-
ㅅㅂ ㅠㅠ
-
날씨가애매하다 0
대충 반팔에 과잠걸쳐야지
-
수업 거부는 해도…의대생 3천200명, 2학기 국가장학금 신청 4
김미애 의원 "의대생 장학금 합리적 지원방안 검토해야" (세종=연합뉴스) 김수현...
-
“의료계, 블랙리스트 피의자를 열사로 둔갑” 응급의학 교수 실명 비판 1
최근 낙뢰를 맞고 의식을 잃은 20대 교사를 살려내 화제가 된 조용수 전남대병원...
-
오프는 왜 맨날 그따구지... 국어좀 잘하고싶다....
-
일본 가고 싶다 3
가서 배터지게 먹고 오고 싶다….ㅜ
-
더프 국어 언매 제 답 14
54325 21142 52143 13215 33552 51244 53545...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ