논리학 이야기
게시글 주소: 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를 선물하세요.
-
걍 노나
-
집 가장 5
공부 끝ㅌ
-
시간 때매 둘중 하나만할듯
-
sqrt6 + sqrt2 / 4 ← 내신에서 덧셈정리 문제 풀다 외워짐
-
특히 영어는 ㄹㅇ 개잘할수있는데
-
이런 거 쓰면 다들 귀여워 보이더라
-
9평 > 수능 > 6평 전 갠적으로 이랬음 수능날에 실감도 안 나고 국어가 생각보다 너무 쉬웠어서
-
9덮 화이팅!! 0
더프홧팅
-
개천절에 괜찮을까요…
-
한 번 던졌을때 앞면이 나올 확률이 p, 뒷면이 나올 확률이 1-p인 동전을 n번...
-
라는 말은 잘못된 것 같습니다. 양극화가 심화되었다가 적절한 표현 아닐까요. 예로,...
-
지금까지 2에서만 왓다갔다해서 1은 바라지도 않는데.. 드릴 풀고있는데 끝나면...
-
사문 6
이해가 안 가요
-
ㅈㄱㄴ
-
갑자기 초딩 산수가 헷갈림,,, 만약 5만원을 30%할인하면 35000원인데,...
-
민아야 보고싶다 3
잘지내니
-
5번 시도하면 사라지던 인공수정 기회, 11월부터는 또 준다 내년 1월부터는...
-
고2 자퇴 수능 0
올해 수능 응시하고 언미물2지1 입니다 6모 41214 9모 31213 인데 남은...
-
내신/수행 기간이라 올라오는 문제들 가성비가 goat 1Q에 수학 22 28 30...
-
올바원이랑 백호 18모고 끝냈는데 다음에 뭐 풀어야할지모르겠어요 프로모터나 어댑터...
-
카페인 ㄱㅊ? 6
핫식스 한캔에 100mg든 거 양 많아서 물병에 넣어두고 2~3일 마시려는데 이정도...
-
내일 학교에 11시까지 같이 남기로 함 물론이루어질수업ㄱ는사랑.
-
국어 언매 80~90사이 어딘가 수학 미적 80이하 영어 적당한 4~8% 물투...
-
저요
-
6월례였나 그 줜나어려웠던 월례보다 더 어려움 올해 본 것 중에 손에 꼽는데 내가...
-
학교끝나고 수학 실모풀고 오답하고 국어 1~1.5시간 하고 영어하면 체력 고갈임....
-
올해 안 되면 내년에 군대갔다가 (군수는 안 할 것 같아요) 2027년에 제대 후...
-
강남이 죽으면 목동이던 분당이던 다른 학군지로 몰릴텐데 그럼 거기도 죽일거임? 사람...
-
확..깨물어주고 싶게
-
공통 : 기출로는 1등급대 힘들 수 있으니 사설로 더 다양한 문항 접하기 미적 :...
-
실모 풀면 보통 공통에서 많이 나가고 미적은 가끔 30번 틀리는데 아직 실력이 완전...
-
실패하며 입대 성공하면 입학
-
하나는 4 이내로 나와야해서 영어 하려는데 영어 + 국어(화작)할까 영어+ 지1 할까 둘다 노베임
-
나도 밥 먹는 거 올리면 돈 벌 수 있는 건가
-
외모랑 집안은 랜덤임
-
더프 떨린다...배도 좀 아픈거 같고 이것만 하고 얼른 자야겠다 다들 9덮 홧팅
-
다들 힘내요 10
-
오히려 단순하게 간단하게 따지는게 도움되는듯
-
최저 맞춰야하는 수시러인데 한번만 도와주십쇼ㅠ 다름이 아니라 수학이 문제인데요.....
-
창건 그는 도대체..
-
뭐가 제일 나음?
-
이거 챙겨야함? 0
team 07 정시 농어촌인데 생기부 챙겨야함? 일단 서울대 학생부 보는건 알고...
-
남들이 뭐라고 하든 난 내 갈 길을 가고 내가 믿는 걸 한다 도전도 못 해보고...
-
아님 독서론합쳐서 20분이면 된단 마인드?
-
자꾸 들어오는거 이상한 질문 글 그만 올리고 오늘부터 공부인증이나 하겠슴다.. 국어...
-
오르비에 6갸월정도 전에 본것 같은데 말죽거리 잔혹사 짤에다가 왕사슴? 같은 문구가...
-
내일 봅시다 바이바이
-
목표를 낮춘다
-
강대x 풀패키지 0
사도 다 못 풀거 같은데 2회차 정도만 사는거 어떻게 생각하시나요 많이 손해인가요
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ