'모든'의 논리적 오류 | 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를 선물하세요.
-
어댑터랑 비교했을 때 많이 어렵나요?
-
나 잇팁인데 15
잇팁 싫어하는 사람 많다니까 뭔가 흥분됨
-
아.. 사탐은 굳이 지금부터 자이풀고 그런거보단 그냥 겨울방학하고 고3 내신때...
-
저능하다 저능해..
-
찐 특 ) 6
오르비함
-
주글께
-
드릴 했는데 7
그다음 엔제 추천좀여.. 이해원할까 고민중인데 좀 난해하다는 분들 있어서..
-
시험지에는 폭설이 시작되길...
-
국어 라인업 좀 보강하고 생명 정석준도 데뷔시키면 대성이 메가 ㄹㅇ 딸 수 있을거같은데
-
인사해주세요,, 3
저때문에 다른 사람들이 힘들어 하는 것 같아서 슬프네요,, 좋은사람이되고싶어요,, 반가워요 선생님
-
생각보다 20학점 넘게 듣고 과외 4개이상뛰는거 쉽지않다. 저번달에 건강검진했는데...
-
https://www.youtube.com/watch?v=GXIPLI0UYUc...
-
찐따메타뭐임 10
이러면나울어
-
메타가 이상해 19
라유한테 덕코주는 메타는 안 오려나
-
Infp 입니다 6
음침해 보이져
-
개찐따특) 11
오르비 메타도 못 낌 학식 맨날 혼자 먹음
-
제 mbti는… 3
히히
-
영재고 자퇴생 12
안녕하세요 영재고에서 자퇴한 18살입니다. 수능 공부 시작한지는 2주 정도...
-
찐따특) 5
친구가없음
-
사람만 안 다치게 해줘용
-
나임
-
찐아싸특 2
Intp임
-
얼버퇴!!! 8
얼리버드 드디어 퇴근!!
-
'파견 공보의 명단' 순식간에 온라인에 쫙…누가 유출했나 했더니만 2
[서울경제] 의료 현장을 이탈한 전공의들의 공백을 메우기 위해 파견된...
-
고2고 방학특강으로 수2 개념, 어삼쉬사반 신청했습니다(개념 자체교재, 문풀 쎈B)...
-
수능 120일 정도 남았는데 자기객관화가 준네안된다
-
(내가 f가 센 인프피라) 근데 생각보다 많이 좋더라
-
아싸가 된다...
-
인간 성격이 16개로 나눠지냐 <<< 이거같음 물론 막 믿습니다 엠비티아이...
-
그냥 국악이 좋음… 이유는 모르겟음
-
6모 4등급 7모 3등급 나온 씹허수인데 양승진T 기출코드 21번구간이 턱턱 막힘..
-
천만덕모으려면 5
덕코를 사야하는가..?
-
김성호쌤 수업 듣고 있는 문과인데, 장재원쌤이랑 같이 병행하는거 괜찮나데근데...
-
mbti보단 3
big5지
-
좀 독특하긴 함 두루두루 친하고 외향적인데 동시에 독립적이라서 진짜 친한 친구는...
-
뭐든 될 수 있는데요?
-
수학 계속 1-2등급 진동합니다. 원래 김범준쌤 듣다가 이번에 강기원쌤 라이브반...
-
어둠의 서바이벌 6
-
서킷x가 5
고난도 문항(4점 문항)만 있는 하프모인건가요?
-
0회:14,15,21,22,28,30틀 76점...
-
천만덕 가쥬아
-
[속보]대통령실 "순천향대병원 응급실 파행, 우려할 케이스 아냐" 2
[파이낸셜뉴스] 대통령실은 16일 순천향대 천안병원 응급실 파행과 관련, "우려할...
-
나이도 95년생밖에 안됐네
-
걍 몇마디 나눠보면 entp같은데 그럼 보통 맞음
-
나는 mbti가 1
layu임 덕코 많이 좋아하는 옯창
-
인싸아님? 엔팁 인식 물어도 엔팁을 본적없어서 모름
-
찐따라 mbti 잘몰라서 없
수학까지 잘하시는 국어 강사님...ㄷ
해설강의 찍고 편집할 때면 이 세상 다른 모든 것들이 흥미로워져서 큰일이에요 ㅎㅎ
제가 공부할때와 같은 모습이시군요..
x가 하기 싫을 때는
x보다 더 하기 싫은 것을 찾으면 좋더라고요. ㅋ
오 ㅋㅋ 써먹어 보겠습니다
그저 GOAT...
고맙습니다. :)
와 설명 진짜 잘하시네요. 이해가 쉽게 되네요
고맙습니다. PSAT/LEET 수험생들에게 하도 질문을 많이 받다보니, 자연스럽게 설명이 진화(?)했습니다. ㅋ
비트겐슈타인의 논리철학논고를 통해서 1차 술어논리에 대해 혼자 공부할 때가 떠오르는 글이네요. 잘 읽고 갑니당
재미있게 읽어주셔서 고맙습니다. :)
논고를 통해서 1차술어논리요?
대단하시네…
어찌보면 당연히 여자와 남자가 동시에 존재할수있다는 생각이 드는데 이걸 수학으로 !
집합과 명제를 좀 현란하게 확장해서 수능/PSAT/LEET를 가르치고 있습니다. ㅋ
쉽게 말하면 모든 사람이 남자이거나 여자일수 있다에서 "모든 사람은 남자" or "모든 사람은 여자"가 도출되진 않는다
네, 그리고 "한 명 뽑아봤더니 남자라고, '모든 사람은 남자'라고 단정해서도 안 된다. " 정도를 추가할 수 있습니다.
요새 수학강사는 국어도 잘하네
오르비 신규 수학 강사 이해황입니다. 잘 부탁드립니다.
10대 때 로즈마리 수열을 투고한 적 있습니다.
https://oeis.org/A026644/a026644.html