'모든'의 논리적 오류 | 6평 미적 28번
※ 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를 선물하세요.
-
생각해보니 그런건 자세히 생각해본적이 없음
-
5잔 먹었더니 배부름
-
내가 쪽지로 맞팔해달라고 사.정사정해야 겨우 들어줌
-
나만.. 나만 아싸구나..
-
인하 경북 국민 6
국민대 인하대 경북대 어떤가요? 국민은 신소재공학쪽이나 지능형ict 경북은...
-
허리아파 1
밤새오뿡이들이랑잇어서그런듯
-
ㄱㄱ
-
조물딱 조물딱 3
만지작 만지작
-
중앙대 다빈치 외대 글로캠 충남대 이정도를 학원쌤이 ㅊㅊ해줬는데… 하 ㅠ...
-
화산귀환 6
소설봐볼까 하는데 어떰?
-
앞으로 오르비에서 정상적이지 않은 글을 쓰거나 자학적인 기만성 개그 혹은 본계로...
-
당장 원서 쓰고 치우고 싶은데 내일 진학사 업뎃까지는 봐야겠지? 죽을 것 같다 ㅠㅠ
-
경희대 자율전공보다 경희대 국문이 높은 거 실화냐? 3
진학사에서 경희대 자율전공 6뜨고 경희대 국문 5뜨는 이유 아시는 분??????...
-
시발점 돌리고있는데 뭐할까요? 통통이 처음임
-
중경외시 3n명 추합 거의 안도는과 진학사기준 5칸 최초합 5칸최초-6칸최초...
-
잘부탁합니당꾸벅(_ _)
-
ㅇㅇ
-
만점인데 만백 99 만표 66... 표본이 고인건 맞다 보는데 그 표본 고임 현상에...
-
너무 누워있어도 아프구나
-
성의 접수완 6
자 이제 시작해볼까? 면접공부
-
안정으로 미리 넣어둔 경우 말고 진짜 별 생각없이 지른 경우도 많나요? 소형과도...
-
부엉님 본계 인스타 알려드릴테니 맞팔 ㄱㄱ
-
예비군이랑 오르비
-
낙지 어캄 1
6칸이던 과가 하루만에 4칸으로 폭락함
-
신청 ㄴㄴ요? 자취하는게 낫나
-
올해도 오르비에 문법 질문 글이 있다면 가끔 활동을 할 듯 0
아마 여름부터는 나도 오르비 덜 하지 않을까
-
앞으로 주의할게요
-
연대 불문 17명 모집 왜 아직 6명 잡고 있지 진짜 등수 보고 쓰세요
-
가군에 이대 수학교육(간당간당함 5칸추합) 나군에 경희국제낮공(6칸) 얜 경희대를...
-
2021년 6월 평가원 나형 수학I.II 전 범위 난이도 ** 많이 쉬움...
-
올해는 국어때문에 대학못가게생긴건에대하여
-
슈퍼스타네
-
님들이라면 어디쓰실건가요
-
문과 만점자 보고 느낌 난 글렀군
-
어뜨캄뇨 머릿속에서 목소리가 재생되고있어요
-
이거 ㅁㅌㅊ? 7
재수 끝나고 연대가야되서 아버지가 의대의대 할때부터 알아봤다 그랬는데 3수해서 인하의 안정 만들어옴
-
솔직히 나까지 올줄알앗으우응으으 편의점갔는데도연대빵이없엇으우우
-
똥글 싸도 다들 박수치면서 좋아해줌 심지어 반응들도 귀여움 약간 동심으로 돌아가는...
-
4칸 5칸 5칸 0
가: 4칸 불합 나: 5칸 추합 다 :5칸 추합 이렇게 쓰면 많이 애매할까요? 다른...
-
이때 느낌도 개좋다고 생각함..
-
솔직히 지금도 많이 덜 잡고 있습니다
-
진학사 실제지원이랑 모의지원 동일하게 해야하는 이유가 2
뭐에요? 어차피 모의 지원 안 해도 등수는 보여주잖음
-
특정당하고싶다 7
저는 아무것도 안해서 특정당해도 타격이 없어여 흐흫
-
드가자잇 ㅋㅋㅋㅋ
-
후기좀 컬리 후라이는 또 머임뇨
-
최종 업뎃 후에도 학과 선택해서 표본 왔다갔다 볼 수 있죠?
-
갑자기 딥피드에 뜸
-
진로를 보통 언제 정하게 되나요?
수학까지 잘하시는 국어 강사님...ㄷ
해설강의 찍고 편집할 때면 이 세상 다른 모든 것들이 흥미로워져서 큰일이에요 ㅎㅎ
제가 공부할때와 같은 모습이시군요..
x가 하기 싫을 때는
x보다 더 하기 싫은 것을 찾으면 좋더라고요. ㅋ
오 ㅋㅋ 써먹어 보겠습니다
그저 GOAT...
고맙습니다. :)
와 설명 진짜 잘하시네요. 이해가 쉽게 되네요
고맙습니다. PSAT/LEET 수험생들에게 하도 질문을 많이 받다보니, 자연스럽게 설명이 진화(?)했습니다. ㅋ
비트겐슈타인의 논리철학논고를 통해서 1차 술어논리에 대해 혼자 공부할 때가 떠오르는 글이네요. 잘 읽고 갑니당
재미있게 읽어주셔서 고맙습니다. :)
논고를 통해서 1차술어논리요?
대단하시네…
어찌보면 당연히 여자와 남자가 동시에 존재할수있다는 생각이 드는데 이걸 수학으로 !
집합과 명제를 좀 현란하게 확장해서 수능/PSAT/LEET를 가르치고 있습니다. ㅋ
쉽게 말하면 모든 사람이 남자이거나 여자일수 있다에서 "모든 사람은 남자" or "모든 사람은 여자"가 도출되진 않는다
네, 그리고 "한 명 뽑아봤더니 남자라고, '모든 사람은 남자'라고 단정해서도 안 된다. " 정도를 추가할 수 있습니다.
요새 수학강사는 국어도 잘하네
오르비 신규 수학 강사 이해황입니다. 잘 부탁드립니다.
10대 때 로즈마리 수열을 투고한 적 있습니다.
https://oeis.org/A026644/a026644.html