'모든'의 논리적 오류 | 6평 미적 28번
게시글 주소: https://orbi.kr/00063247483
※ 6월 10일, 글 내용을 좀 더 상세하게 영상으로 풀어서 올렸습니다.
0
독해와 논리를 가르치는 이해황입니다.
이번 미적 28번 논란이 흥미로워서 짧게 글을 써봅니다.
1
2024학년도 6월 모의평가 수학 28번(미적분)
실수 전체의 집합에서 연속인 함수 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를 선물하세요.
-
질문 받아요 19
서울대 학부 다니고 있고 전공은 AI입니다 (주전공 전컴, 제2전공 수리통계)...
-
야추가 크던 뭐 하나는 해야되나보다 외적으로 특출난게 있으니까 쉴드도 오지게 받지...
-
닉네임 복귀 5
뭔가 좀 짜쳐서 다시 바꿈
-
종종 보여서 기쁩니다. 더 많이 유입이 되었으면 하는 바람입니다.
-
아 메인 뭐야 6
내가 발가벗은 느낌인데
-
띠따띠라 띠따다두따
-
나도 낄래 누구야
-
좆됫다ㅏㅋㅋㅋㅋ 오늘은 벚꽃보러 갓음 ㅋㅋㅋㅋㅋ 하ㅏㅏㅏ 이게 수험생 맞냐???
-
https://orbi.kr/00072740989/ 꽤 재밌어요
-
맨위에 문제고 아래는 해설임데 해설 읽다가 머리 타질거 같아서 손풀이 부탁드려요 ㅜㅜㅜㅜㅜ
-
내기억에 그때 새르비였는데 인상 깊긴 깊었나보군 ㅋㅋ
-
원장연이라는 나쁜말은 ㄴㄴㄴㄴㄴ
-
나도 호감 목록 13
물개물개 저능부엉이 고3기원 옯해원 순대렐라 열품타17시간담요단(닉이거맞나) 정상화...
-
다들 코사인법칙만 얘기하길래 신기했음
-
있는거임? 나이 많은 순으로 간다던데 07이면 13일 전에 갈 일은 없겠죠?
-
부모님은 날 그늘없이 키우셨는데 걍 내가 그렇게 못자란듯 내자신이 원망스럽다
-
이미지 써드려요 58
옯스타에서 써드렸던 분은 짧게,,, 그냥 이미지+하고 싶은 말 해서 최대한 길게...
-
아
-
도시락 사올까 1
ㅈㄱㄴ
-
과제도 다 했다 이말이야
-
빵댕이
-
기출은 0
기출은 개념인강 들을때부터 공부해야하나요?? 아님 과목별로 다른가욤 국어 일클...
-
투표하기싫은건 첨이네
-
애매한 예술적 재능 공부머리는 없는데 쓸데없이 생각은 많고 쓸데없이 원래의 것에...
-
어쩔수없긴해
-
정신뼝걸림 2
학교다니기싫어서 막상가면나름재밋는데월요일수업이ㄴㅁㄴㅁ싫음
-
피램이랑 실모6개만 풀고 24 5 -> 25 1 이 가능하다니까??
-
오르비 끄자 7
에휴
-
다들 어케 극복하시나욥
-
요새 재릅이나 천박하고 수위 높은거 앵간하면 제재 안 해서 걍 그쪽으로 생각회로가 돌도록 함
-
등록해서 한 달 동안 재밌게 다녔지만 공부가 제 적성에 전혀 맞지 않고, 계속...
-
내 자식은 2
생기긴할까
-
작년 브릿지 그림 그대로 복붙해뒀네
-
1학년 1.96 2학년 1.64인데 이번에 3모 11142나왔습니다 3학년때 그래도...
-
ㅈㄱㄴ
-
본인 생윤사문러인데 진짜 과탐러들은 시간 내에 그 수많은 어려운 계산문제들을 어떻게...
-
노력파로 사는건 힘드니까
-
어제오늘 모고푸는데 자꾸 2점 3점 틀려서 석나가네...
-
대학들 많이 복귀하니까 다시 3000으로 가는 건가요? 파면빔 맞고 난리 나니까...
-
국어 3
예술 경제 기술 쉬운 문학, 언매 수학 쉽게, 확통 어렵게 영어 1등급 비율 10%...
-
자꾸 같잖은 배경지식으로 문제 풀어서 고3때보다 오히려 더틀림
-
과외 시간이 오후 3시라 진짜 애매함 만약 과외 시간 옮길 수 있다면 일요일에 몇...
-
수능 기술지문에 나오는 종목 투자했더니 +15인가 찍었다는데
-
확통 질문 4
답이 206으로 6차이나는데 어디서 잘못한건지 도무지 모르겠어요
수학까지 잘하시는 국어 강사님...ㄷ
해설강의 찍고 편집할 때면 이 세상 다른 모든 것들이 흥미로워져서 큰일이에요 ㅎㅎ
제가 공부할때와 같은 모습이시군요..
x가 하기 싫을 때는
x보다 더 하기 싫은 것을 찾으면 좋더라고요. ㅋ
오 ㅋㅋ 써먹어 보겠습니다
그저 GOAT...
고맙습니다. :)
와 설명 진짜 잘하시네요. 이해가 쉽게 되네요
고맙습니다. PSAT/LEET 수험생들에게 하도 질문을 많이 받다보니, 자연스럽게 설명이 진화(?)했습니다. ㅋ
비트겐슈타인의 논리철학논고를 통해서 1차 술어논리에 대해 혼자 공부할 때가 떠오르는 글이네요. 잘 읽고 갑니당
재미있게 읽어주셔서 고맙습니다. :)
논고를 통해서 1차술어논리요?
대단하시네…
어찌보면 당연히 여자와 남자가 동시에 존재할수있다는 생각이 드는데 이걸 수학으로 !
집합과 명제를 좀 현란하게 확장해서 수능/PSAT/LEET를 가르치고 있습니다. ㅋ
쉽게 말하면 모든 사람이 남자이거나 여자일수 있다에서 "모든 사람은 남자" or "모든 사람은 여자"가 도출되진 않는다
네, 그리고 "한 명 뽑아봤더니 남자라고, '모든 사람은 남자'라고 단정해서도 안 된다. " 정도를 추가할 수 있습니다.
요새 수학강사는 국어도 잘하네
오르비 신규 수학 강사 이해황입니다. 잘 부탁드립니다.
10대 때 로즈마리 수열을 투고한 적 있습니다.
https://oeis.org/A026644/a026644.html