'모든'의 논리적 오류 | 6평 미적 28번
게시글 주소: https://old.orbi.kr/00063247483
※ 6월 10일, 글 내용을 좀 더 상세하게 영상으로 풀어서 올렸습니다.
0
독해와 논리를 가르치는 이해황입니다.
이번 미적 28번 논란이 흥미로워서 짧게 글을 써봅니다.
1
실수 전체의 집합에서 연속인 함수 f(x)에 대하여
{f(x)}²+2f(x)+1이 x=1에 대칭이라면,
{f(x)}²+2f(x)+1 = {f(x)+1}²이므로
{f(x)+1}² = {f(2-x)+1}²이 성립합니다.
따라서 "모든 x에 대하여 f(x)=f(2-x) or f(2-x)=-2-f(x)"라고 할 수 있습니다.
그런데 이로부터 "모든 x에 대하여 f(x)=f(2-x) or 모든 x에 대하여 f(2-x)=-2-f(x)"라고 할 수는 없습니다.
2
"모든 사람은 남성이거나 여성이다."가 참일지라도
"모든 사람은 남성이거나 모든 사람은 여성이다."가 도출되지는 않습니다.
왜 그런지 바로 이해가 되는 분들도 있겠지만, 그렇지 못한 분들을 위하여
사람이 p, q 둘만 있는 가능세계1)를 살펴보겠습니다.
각주 1) 가능세계는 2019학년도 수능 국어영역에도 나왔고 PSAT/LEET에 모두 나온 적 있는 중요 논리학 개념입니다. 만약 이 개념을 잘 모른다면 가장 쉽게 이해하는 '가능세계' [두뇌보완계획100] 3분짜리 영상을 참고해주세요.
이때 가능한 세계는 아래 표와 같이 4가지입니다.
"모든 사람은 남성이거나 여성이다."는 w1, w2, w3, w4 모두에서 참입니다.
반면 "모든 사람은 남성이거나 모든 사람은 여성이다."은 w1(모든 사람이 남자)와 w4(모든 사람은 여자)일 때만 참이며 w2, w3일 때는 거짓입니다.
정리하자면, "모든 사람은 남성이거나 모든 사람은 여성이다."가 참이면
"모든 사람은 남성이거나 여성이다."는 참이지만, 그 역은 성립하지 않습니다.
3
논리학자들은 '모든'을 ∀으로, or(이거나)는 ∨으로 나타냅니다. ∀는 all을 뒤집은 것이고, ∨는 or를 뜻하는 라틴어 vel에서 가져온 것입니다. 참고로 and(이고)는 ∨를 뒤집은 ∧으로 나타냅니다.
지금까지의 논의를 기호를 활용하여 간결하게 나타내면 다음과 같습니다.
∀x(Ax∨Bx) ≢ ∀x(Ax)∨∀x(Bx)
구체적으로는 ∀x(Ax∨Bx) ↛ ∀x(Ax)∨∀x(Bx), ∀x(Ax∨Bx) ← ∀x(Ax)∨∀x(Bx)로 분리하여 생각할 수 있습니다.
4
2019학년도 LEET 추리논증에 이러한 변별을 묻는 문제가 나온 적 있습니다. 지금까지의 논의를 잘 따라왔다면, 아래 고난도 문제를 단박에 풀 수 있습니다. 핵심은 ㄷ입니다.
논리훈련이 되어 있지 않은 분들은 ㄷ을 적절하다고 판단합니다. 그런데 ∀x(Ax∨Bx) ↛ ∀x(Ax)∨∀x(Bx)이므로 ㄷ은 적절하지 않습니다. 즉, "모든 환자에게서 병원균 α와 β 중 적어도 하나가 검출된다"가 참이라고 해도, "모든 환자에게서 병원균 α가 검출되거나 모든 환자에게서 병원균 β가 검출된다"가 참이라고 할 수 없습니다. (참고로 정답은 ② ㄴ입니다.)
5
지적 호기심이 있는 분들을 위하여 양화사 분배에 대한 몇 가지 성질을 적어두겠습니다. 2에서 제가 표를 그린 것처럼 가능세계를 중복없이 누락없이 떠올려보면 충분히 혼자 이해할 수 있을 겁니다.
①∃x(Ax∨Bx)≡∃x(Ax)∨∃x(Bx)
②∀x(Ax∧Bx)≡∀x(Ax)∧∀x(Bx)
③∃x(Ax∧Bx)≢∃x(Ax)∧∃x(Bx)
④∀x(Ax∨Bx)≢∀x(Ax)∨∀x(Bx)
이때 ∃는 "어떤 ~가 있다"는 뜻으로, there exists에서 가져온 기호입니다.
참고한 자료
1. 2024대비 6월 모평 미적분 28번 대칭성 풀이의 논리적 오류에 대하여
2. 논리개념 매뉴얼5.0(이해황, 2023) (2의 설명은 이 책에서 가져옴)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
[속보] 윤석열 대통령 2차 탄핵안 204표 가결 당신의 제보가 뉴스로...
-
잘가라 병신아 ㅋㅋㅋㅋㅋㅋㅋ 추하게 가는구나
-
화공은 석화 망했고 기계도 계속 하락센데요
-
헌재 드가자 1
이제야 임명하노
-
ㅋㅋㅋㅋ
-
만장일치는 쉽지 않아보임
-
국어 지문이랑 답이 기억이 안남
-
덕코 보냈음 1
ㅇㅇ
-
대기번호 걍 궁금해서 카톡채널로 계속물어보고있는데 답장이 안오네.. 읽지도 않고...
-
됐다 시발 0
윤두창 세력들 아가리 ㅋㅋㅋㅌ
-
윤카 탄핵 0
204표 ㅋㅋ
-
탄핵소추안 가결 0
이야
-
가결 ㅋㅋㅋㅋㅋ 0
그래
-
가결 0
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
가결미쳤네 0
ㄷㄷㄷㄷ
-
1.시중 물리 자습서 한 번 훑기 2.수특+ebs인강 3.시중 물리 개념 인강 추천점 해주십사..
-
치대 본과생 질문받음 10
아직 국시는 안보는 학년임
-
감사하게도 두 학교 모두 논술 최초합했는데 취업 고려하면 어딜 가는 게 더...
-
더 잘까
-
74365(화미물지)->41244(화미생지) 부산경북 논술 최초합했는데 뭔가...
-
3점에서 몇점까지 깎았을때 최초합인 과 쓰면되나여??
-
얼마전 기체양론 문제도 만들었지만 지금 사실 화1이 3등급 4등급 나오는...
-
과2사2입니다 10
아무튼 그럼
-
진학사상향4칸 1
진학사 상향은 다군에 넣는게 맞나요? 가나군을 안정쓰는게 맞는지..
-
이거는 아무런 인상이 없었는데 의외네요
-
10명 모집입니다 그리고 6칸 최초합 뜨는데 붙을 확률 높을까요…
-
무휴학 반수 1
수능에서 543 64(언미생윤 사문)인데요 2년잡고하면 전대 수의대 갈수있을까요...
-
제가 산증인임니다 반박은 무서우니까 안받아요
-
부모가 학벌열등감에 찌들어 있으면 자식이 개고생하는듯 1
Sky 아니면 안된다, 과학고 아니면 안된다 이런 이상한 집착때문에 자식인생...
-
인하대가 인천에선 문과든 이과든 1등인가요
-
ㅈㄱㄴ 중복은 나눠서
-
불보정이 맞다 4
넵
-
국어: 기출3회독 + 수특수완 (약 200시간 예상) 수학: 엔티켓시즌1 2회독 +...
-
삼반수생인데 대학 다녀보니 동생들보다는 윗사람들이 훨씬 편해서... 현역이랑...
-
자취방 구해야하는데 반지하 살만한가요?
-
[헤럴드DB] [헤럴드경제=안대용·김해솔·양근혁 기자] [속보] ‘尹 탄핵소추안’...
-
반갑다. 나는 문돌이였다가 올해 의치한약수 목표로 과탐으로 돌린 호구다. 사과탐...
-
큰일났다 0
수능 공부 한번 했더니 아무것도 하기싫어짐 논술 공부도 진학사 예측 돌리는것도...
-
ㅈㄱㄴ
-
소스랑 두부 다진마늘만 넣었음 야채 x
-
간 단한 통 계
-
재외국민이나 저소득 뭐시기 그런건 왜있는거임 대체 수시전형 자체는 필요하다고 생각함...
-
신소재vs전전 2
학교는 한급간 차이 납니다. 어디를 가는게 좋을까요??ㅠㅠ
-
어떤가요 만족하심...? 스나도 잘 알려주나요
-
채점 걍 아무 번호로 난사해도 됨?
-
야발
-
그래야 크리스마스에 조이고 즐길 수 있잖아.
수학까지 잘하시는 국어 강사님...ㄷ
해설강의 찍고 편집할 때면 이 세상 다른 모든 것들이 흥미로워져서 큰일이에요 ㅎㅎ
제가 공부할때와 같은 모습이시군요..
x가 하기 싫을 때는
x보다 더 하기 싫은 것을 찾으면 좋더라고요. ㅋ
오 ㅋㅋ 써먹어 보겠습니다
그저 GOAT...
고맙습니다. :)
와 설명 진짜 잘하시네요. 이해가 쉽게 되네요
고맙습니다. PSAT/LEET 수험생들에게 하도 질문을 많이 받다보니, 자연스럽게 설명이 진화(?)했습니다. ㅋ
비트겐슈타인의 논리철학논고를 통해서 1차 술어논리에 대해 혼자 공부할 때가 떠오르는 글이네요. 잘 읽고 갑니당
재미있게 읽어주셔서 고맙습니다. :)
논고를 통해서 1차술어논리요?
대단하시네…
어찌보면 당연히 여자와 남자가 동시에 존재할수있다는 생각이 드는데 이걸 수학으로 !
집합과 명제를 좀 현란하게 확장해서 수능/PSAT/LEET를 가르치고 있습니다. ㅋ
쉽게 말하면 모든 사람이 남자이거나 여자일수 있다에서 "모든 사람은 남자" or "모든 사람은 여자"가 도출되진 않는다
네, 그리고 "한 명 뽑아봤더니 남자라고, '모든 사람은 남자'라고 단정해서도 안 된다. " 정도를 추가할 수 있습니다.
요새 수학강사는 국어도 잘하네
오르비 신규 수학 강사 이해황입니다. 잘 부탁드립니다.
10대 때 로즈마리 수열을 투고한 적 있습니다.
https://oeis.org/A026644/a026644.html