논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제일 어려운걸루.. 이감이랑 상상 풀었어요 바탕이나 그릿 생각중인데 뭐가 나을까여
-
올해 수능 잘 보면 25년 학교 다니면서 교환학생 준비 26년 여름 미국 가서...
-
아가 휴식 4
-
Tanx 적분해서 Ln |cosx| 되는데 코사인에 절댓값 붙이는게 필수인가융
-
심지어 다맞았음 사실 좋아하는 분야라 그럼
-
선조: 님 술 너무 많이 마심. 은잔 하나 줄테니까 매일 이걸로 딱 한 잔만 마시셈...
-
국뽕 ㄷ
-
1-13이랑 14랑 간극이 너무 크고 (15는 풀만하고) 16-21까진 쉽다가 22...
-
속 시원하게 긁어주시네 ㅋㅋ
-
ㅁㅌㅊ?근데 29번 계산틀림ㅋㅋㅋ 시험5분남기고 계산 다시해봤는데 다른값나와서 답고쳤는데 틀렸음
-
논리학 이야기 1
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이...
-
왜 또 덥노 0
미치겠네 시불
-
현강용 5회인데 개어렵네요
-
유빈 터지려나
-
묘 파헤쳐야된다 ㄹㅇ
-
꼴붕이 중증환자로구나
-
f(1) 을 이항하고 x-1로 나눌 생각을 하는게 많이 어려운가요
-
이건 현 수능 확통 몇점 정도 수준임??
-
??
-
심장이터질것같다..
-
수능 92~96 왔다갔다 하는데 함 들어봐야하나..
-
68분 100 평이하네요
-
저는 경제
-
지1 질문좀 ㅠ 3
공전주기랑 공전속도를 곱한게 공전궤도반지름의 원 둘레로 생각하면되는건가요?
-
야 0
너 전화받아! 이거 아는 엔수 오뿌이들은 어서 대학가길
-
오르비 방구석 평가원장부터 은둔고수, 물2갤 유명갤러 등등등등 해서 흑수저,...
-
방금 하나 풀고 왔는데 14 22빼고 38분 남음 근데 저 두개는 감도 안옴
-
'간호사 비하' 의협 부회장, 고발 당하고 게시물도 지웠다 2
"글 내릴 생각도 없고, 바꿀 생각도 없습니다. 그만 나대십시오. 꼴사납습니다."...
-
그리춥냐 난반팔이다
-
오뿌이들아 뭐해 0
똥글은 안 올라오는데 조회수 왜케 잘나옴 ㄷㄷ
-
정시파이터 선언 (2023/10/20) 부터 341일 경과….. 나는 아직 제대로...
-
나도 모르게 그렇게 앉아있음..
-
독서-3점(10번) 문학-9점(21 27 28 32번) 언매-0점 9평에 나온...
-
의료대란 우려 안철수 "그냥 망할 것… 정권도 힘들어진다" 1
국민의힘 안철수 의원이 24일 의료 문제에 대한 갈등이 지속할 경우 "그냥 저는...
-
누군가 두돧둗 처럼 나댐시간때우기개백수로 나서야 되는데
-
날추워진다 0
수능과 붕어빵의 이세카이
-
텔레그램 저거 마약 테러 인신매매정도만 먼저 제공해줄거같은데 1
저작권법위반?? 물론 달라하면 주겠지만 우선순위는 밀릴듯 (저는 윾빈 반대파임 꼭잡혔으면)
-
수능 시간표로 안 되어있고 교시 중 재입실 가능한 학원들은 실전연습을 못 하겠어서 못 다니겠음
-
일단 푸는 모고는 스탠모 전국 서바 강k 강x 딱 이정도고 엄청 허덕여서 하루...
-
논술문제아니냐 수능에서 이런식으로 발상시키는건 또 처음보네
-
알파옯창이 돼야지
-
lim t가 무한대로 갈 때 f(t-1/t+1)은 f(1)이 아니라 f(1+)로...
-
수학 모의고사 0
수학 실모만 풀면 문제 완전 저는데 이거 어케 고침
-
사진 차례로 ‘문제-해설-해설의 근거로 나와있는 문단’인데요. 해설지에 적힌 해설은...
-
이감 6-3 1
90점 독서 1틀 문학 3틀
-
고정 60분컷 100점인데 작수때 70분 걸려서 망한줄알았다(96점을 받으며)...
-
지금 시점에서 안정 1등급 안나오거나 그 밑은 오히려 올오카 복습 + tim이 낫지...
-
불안하다
-
미친놈ㅋㅋ
-
그 친구가 지금 너무너무 힘들어하고 있어서 수능 응원 초콜릿 같은거 사서...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ