논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
욕은 얘가 먹어야지 왜 지들끼리 싸우냐
-
분개 시산표 겨우 끝냈는데 끝내자마자 정산표 나오네 ㅋㅋ 걍 니애미요 8시간동안...
-
고2 국어 노베 0
고2 국어 노베인데 개념의나비효과 입문편 듣고있거든요? 근데 90강은...
-
동사 수능 3 떠야하는데 복습 차원에서 수특,수완 풀고 3~4개년 평가원 기출만...
-
어쩔 수 없음 할게 너무 많앙
-
수2개념과 이용해서 설명해주실 분 없나요…. 미적분개념 불포함하고 최대한 단순하게...
-
음 5
-
ㄹㅇ 존나 고인듯 예전엔 적당히 잘하면 메디컬 갔는데 지금은 신이 되어야 메디컬 가는 느낌
-
끌리는학교 5
막 연고대 말고 딱 가고 싶은 인서울 대학이 있나요
-
일주일중 6일을 수1 수2 확통 2일씩 공부하고 있는데 예를 들어 수2를 공부하면...
-
매년 한종철 하나 들으려고 메가 사는거 존나 돈 아깝네 국어 - 김승리 정석민 수학...
-
수학황님들만 2
고2인데 문제 2번을 못 풀겠네요.. 풀이 과정 해주시면 감사하겠습니다.. 차영진...
-
수능 확통 백분위 85 띄우고 싶어요…(사실 2등급이지만 양심 때문에…) 솔직히...
-
안자는사람 9
심심해요
-
무슨이론?
-
시대나 강대중에 자료 좋고 어려운 쌤 누구 있나요?? 여태까지 본 학력평가는 다...
-
그냥 지금 대학 만족하고 대충 즐겼으면 행복했을텐데 욕심이 ㅈㄴ 많아서 결국...
-
수학과나 공대 성님들 저좀 도와주세요 ㅠ 좋은 유튜브 강의 같은 거 없을까요
-
매일 사설실모를 보는게 나을까요 기출을 보는게나을까요 아니면 둘다 해야될까요?...
-
스카 퇴실 0
오루비 나 혼자쓰는기분
-
15 22 28 29 30는 거진 틀리고 10번대 하나 + 21번까지 틀리면 72점...
-
1교시: 유튜브 시청 2교시: 브릿지 final 화1 6회 / 39+0점 (1컷:...
-
지금 까지 인강커리 정리해보면 1월시작 국 D문개정 비독원 수 E 포인트원 영 D...
-
오르비언으로써의 자부심
-
23일? 0
ㄴㄴ 388일
-
Ghost의 철자에 묵음 h가 있는 이유는? 요하네스 구텐베르크가 1450년경...
-
누구한테 말해도 떳떳한 대학이 되고싶은데 저의 기준은 연고대부터 였던거같음
-
안녕하세요 지방러인데 서울로 논술보러가는데 지하철(?) 같은 대중교통 잘 모르는데...
-
개많이 틀려서 자괴감오는데 전 무슨실모를 풀어야하죠??
-
이 시간에 뭐 하는데 시발
-
자라 0
-
수능전까지 이감10회분이랑 아수라 전강의 수강 ㄱㄴ?
-
19년도였나 20년도였나 오르비 공부인증 오픈채팅방 폭파된 후 그때부터...
-
모바일로는 커리큘럼 못 봤는데 이제 박아넣네,,,,,, 일처리 ㄹㅈㄷ
-
초딩 때 파돌리기 송에 입문해서 계속 좋아해온 미쿠쟝 나랑 동갑인게 굿
-
아니 난 못받은것 같은데 왜 유빈엔 올라왔지 혹시 6-6에 들어있나요?
-
올해 푼 것 중 가장 어려운거 추천
-
김승리 선생님 모의고사 4회차 풀어봤는 데 98점 받음 그런데 한 문제는 선지 4개...
-
벌써 3시네.. 0
여러분들 모두 평안한 밤 되십쇼.
-
질받 메타 가자 0
무물보 가봅시다
-
캬캬
-
좋은 문제집 있으시면 추천해주세요ㅠㅠ
-
이상 : 죤내 멋있는 수술법! 혹은 약물을 뭘 처치할지 전문직 포스나는 공부!...
-
자러갈거야 3
정말대중적인곡들로엄선했습니다
-
말투에서 찐따 느낌이 남. 저임
-
이놈들... 밤에 음식 관련 글을 쓰다니... 체해서 저녁도 제대로 못먹었는데...
-
여자랑 대화 인증 이런 것도 있네 별..
-
ㅇㅋ ㅇㄹ 3
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ