초등학생도 이해하는 필요조건, 충분조건
안녕하세요. 독해와 논리를 가르치는 이해황입니다.
아래 내용은 PSAT/LEET 베스트셀러 『논리개념 매뉴얼5.0』을 바탕으로 제작되었습니다.
초등학생도 이해할 수 있게 썼지만, 수능뿐만 아니라 PSAT/LEET 수험생도 도움이 될 만한 자료입니다. :)
--
I. 들어가기
초등학교 과학시간에 전기회로를 배우며 직렬연결, 병렬연결을 배웁니다. 이를 통해 논리적 사고의 핵심인 필요조건, 충분조건, 필요충분조건을 직관적으로 이해할 수 있습니다. 결론부터 말하자면, 필요조건은 직렬연결에, 충분조건은 병렬연결에, 필요충분조건은 단일연결에 대응됩니다.
이를 간결히 설명하기 위해,다음과 같이 표현법을 약속하겠습니다.
L : L에 불이 들어온다.
~L : L이 거짓이다. 즉, L에 불이 들어오지 않는다.
A : A함에 전지가 들어있다.
~A : A가 거짓이다. 즉, A함에 전지가 들어있지 않다.
II. 전기회로와 논리적 개념
1. 직렬연결
직렬연결 전기회로에서는 다음이 성립합니다.
~A이면 반드시 ~L이다.
논리학에서는 ~A이면 반드시 ~L일 때, A를 L이기 위한 필요조건이라고 합니다. 이를 일상어에서는 다음과 같이 표현합니다. (아래 표현들을 익혀두면, 글을 읽거나 쓸 때 요긴하게 활용할 수 있습니다.)
A는 L이기 위한 필요조건이다.
≡ ~A이면서 L인 경우는 없다/불가능하다.
≡ (오직) A이어야(만)/일 때만/인 경우에만/인 (전제/가정/조건) 하에서만 L이다/일 수 있다/가 보장된다.
≡ L이려면 A이어야(만) 한다.
≡ L이기 위해서/위하여 A이어야(만) 한다.
≡ A는 L이기 위해 필요하다/필요한 조건이다/필수적 조건이다.
≡ A이지 않으면/않는 한/않는 이상 L?일 수 없다.
≡ L은 A를 함축/전제한다.
≡ A는 L의 요건/전제조건/선결조건/요구조건/핵심조건이다.
≡ A가 성립되지 않으면 L일 수 없다/이 성립될 수 없다.
≡ A는 L이기 위해 필요하다/요구된다/없으면 안 된다/반드시 있어야 한다/필수적이다/필수불가결하다.
마찬가지로 ~B이면 ~L이다, ~C이면 ~L이다가 성립하므로, B는 L이기 위한 필요조건이다, C는 L이기 위한 필요조건이다도 성립합니다.
2. 병렬연결
병렬연결 전기회로에서는 다음이 성립합니다.
A이면 반드시 L이다.
논리학에서는 A이면 반드시 L일 때, A를 L이기 위한 충분조건이라고 합니다.
이를 일상어에서는 다음과 같이 표현하기도 합니다.
A는 L이기 위한 충분조건이다.
≡ A이면서 ~L인 경우는 없다/불가능하다.
≡ A이면/일 때/인 한/인 경우에/인 이상/하에서/이기만 하면/인 것만으로도 L이다.
≡ A가 성립하면/보장되면 L이 보장된다/성립한다.
≡ A라는 전제/가정/조건 하에서 L이다.
≡ L는 A의 논리적 귀결이다.
마찬가지로 B이면 L이다, C이면 L이다가 성립하므로, B는 L이기 위한 충분조건이다, C는 L이기 위한 충분조건이다도 성립합니다.
3. 단일연결
전구가 하나의 전지와 단일연결되는 가장 단순한 경우를 생각해봅시다. 이때는 다음이 성립합니다.
A이면 반드시 L이다.
~A이면 반드시 ~L이다.
따라서 여기서 A는 L이기 위한 필요조건이면서 동시에 충분조건입니다. 이때 철학자들은 간결히 A를 L이기 위한 필요충분조건이라고 합니다.
A가 L의 필요충분조건이라는 것을 영어로는 A if and only if(줄여서 iff) L이라고 표현합니다. 근데 한국어에는 iff에 딱 들어맞는 표현이 없어서, 다음과 같이 다소 어색하게 표현됩니다.
A일 때, 그리고 오직 그때만 L이다
≡ A일 때 L이다. 그리고 오직 A일 때만 L이다.
≡ A는 L이기 위한 충분조건이다. 그리고 A는 L의 필요조건이다.
≡ A는 L이기 위한 필요충분조건이다.
맥락에 따라 A는 L의 기준이다도 필요충분조건을 타내는 표현으로 볼 수 있습니다.
4. 직렬연결을 병렬로 연결
직렬연결을 병렬로 연결한 아래와 같은 전기회로도 상상해볼 수 있습니다.
이때 A는 L이기 위한 필요조건은 아닙니다. 아래처럼 ~A여도 L일 수 있으니까요.
또한 A는 L이기 위한 충분조건도 아닙니다. 아래처럼 A여도 ~L일 수 있으니까요.
하지만 필요조건은 아닌 충분조건 덩어리 (A and B and D)를 기준으로 보면
A는 이 덩어리의 충분조건은 아니지만 필수적(필요한) 부분으로 볼 수 있습니다.
이 개념을 John Mackie라는 철학자가 1960년대에 INUS조건이라고 이름 붙입니다. 이는 an Insufficient, but Necessary(Non-redundant) part of an Unnecessary but Sufficient condition의 약어인데, 필요조건은 아닌 충분조건 덩어리의 불충분하지만 필수적인 부분 정도로 번역할 수 있습니다.
뭔가 복잡해 보이지만, 직렬연결을 병렬로 연결한 이미지를 떠올리면 어렵지 않을 겁니다.
5. 병렬연결을 직렬로 연결
앞서 INUS조건이 직렬연결을 병렬로 연결한 개념이었으니, 반대로 병렬연결을 직렬로 연결하는 것도 상상할 수 있지 않을까요? 아래처럼요.
이러한 구조는 공학에서 결함 허용 시스템(Fault Tolerance System)으로 불립니다. B를 병렬로 이중화, 삼중화하여 다른 요소들과 직렬로 연결하면, B에 결함이 생기더라도 A, C에 문제가 없는 한 시스템이 정상운영될 수 있기 때문입니다. 생명유지장치를 운영하는 병원에서 비상발전기를 운용한다든가, 데이터센터에 화재가 날 경우를 대비하여 서버를 이중화, 삼중화하여 분산시켜놓는 일 등이 위와 같은 시스템으로 설명될 수 있습니다.
III. 전기회로와 논리적 추론
... 인강 찍어야 해서 나머지는 2편에서 자세히 다루겠습니다.
좋아요가 많이 눌릴수록 2편이 빨리 업데이트됩니다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이건대깨문수준인데...
-
범준이형 2
내가 사랑하는거 알지? 카나토미 한 권씩 빼놓길 바래
-
토스는 너무 뉴비같은데
-
시발점 미적분 0
현재 수1,2 시발점 하고 있고 끝내려면 2-3주는 걸릴거 같은데 그 뒤에 미적...
-
대학 입학 안해도?? 아니 그러면 뱃지 나도 달지
-
내신 땜에 확통 공부하는데 뭔가 미적처럼 문제 풀때 깔끔하지 않고 찝찝한 느낌이듬....
-
인예1번 푸는데 뒤질뻔 9분 걸렸네
-
코인판에 더 이상 호재는 없습니다. 하락장 시작이라고 봐서... MSTR 시총이...
-
동국대떴냐?? 4
안떴네
-
목표달성
-
내 머리가 굳은건가 아님 예제가 그냥 어려운 편인건가
-
마음껏 죽고 되살아날 수 있는 초능력 있으면 좋을듯 12
범용성높을거같음
-
현우진쌤 7
저는 교재 사서 풉니다
-
전 이것저것 써봤지만 올해 수능샤프가 젤 좋네요ㅋㅋㅋ 어떤게 좋으셨나요???
-
점공 안 들어오는 실수들 많나요..? 점공률이 40%정도 밖에 안되고 진학사 정시...
-
경기대 추합 1
순서대로 48명뽑는과 77명 뽑는과인데 널널하게 되겠죠..? 최초합인줄알았는데 ㅠㅠ 걱정되네요
-
우흥 2
?
-
아아 깨달았다… 3
22 23 24 25 국어 1컷 기준으로 보면 불 물 불 물 따라서 26=불…...
-
조졌다 머리 다 굳었네.. 수학 3인데 이거 정상임..?
-
추워요 7
말이 안돼요 아니
-
친구도없는주제에 너무 나서네요 좀 꺼져줬으면 좋겠습니다
-
양심고백합니다 5
저 아직 요루시카 팬클럽 가입 못함 해외카드 결제 이슈..
-
2등급 따리 실력으로 과외가 해보고싶은데 양심적으로 돈 받기는 미안하고 그냥...
-
유형서 걍 쎈 풀려고 했는데 바이블 유형on 이거 뭔 교재 설명만 보면 쎈,...
-
이제 그만할게요 9
김과외 그만 할게요 눈물이 안날줄 알았는데... 사실 과외왕이 되려고...
-
근데 사실 거기 기출 걸러서 잘 모름 암튼 요즘 도표는 주는 유형이라는거임 도표 틀리면 큰일나요
-
이제 진짜 믿고 따르겠습니다. 강의만 올려주세요
-
스릴러?에 반전 영화 같던데
-
ㅠㅠ 통역하기 쉽지 않네요 ㅠㅠ
-
1. 한양대 의대 한양대 인재상 키워드가 안 챙겼던 1학년 생기부에 있음 사랑,...
-
동국대 합격생을 위한 노크선배 꿀팁 [동국대 25][전공 및 진로] 1
대학커뮤니티 노크에서 선발한 동국대 선배가 오르비에 있는 예비 동국대생, 동대...
-
아짜증나 5
잣가락도뒤집히고 후레이크도 까먹었어
-
현우진 글씨체 ㅍㅌㅊ? 14
패드 글씨체 아직 적응이 안 돼서 좀 맛탱이 갔긴 한데 디버프 적용하고 이 정도면 평타 아닌교
-
중대 등록금 700 10
원래 등록금이 700만원이나하나요? 글로벌금융만 특수하게 비싼건가요? ㅇㅈ 외대...
-
카토미 2000권은 뿌리는건 ㄹㅇ 미쳤다 진짜 스블 구매자한테는 pdf 제공......
-
블로거가 올린 사진 캡쳐하면 인스타마냥 작성자한테 알람가나요??
-
전문 컨설턴트심? 아님 일반 오르비언임? 디게 잘맞춘다는 소문이 들려서 내년에...
-
어몽 ㄱㄱㄱㄱ 1
NNJMBF 아시앗서버 ㄱㄱ
-
이책은 그냥 사전이네요 적중률이 높을수밖에 없는...ㅡㅡ 이책 외우는분 계신가요???
-
과탐 도표 문제보단 쉬움?
-
똥테 드릅게 못생김
-
코에와 타시카니 토도이테탄데스 키미가 키라이 키라이난테 코토바 사바츠이테...
-
똑같은 지문 텀 짧게해서 보니까 전에 봤던 기억 너무 생생하게 나서 글이 너무 쉽게...
-
맞팔구 6
합니다 날이면 날마다 오는 기회가 아님요
-
어간불규칙은 형태론적이형태라고 배운 것 같은데 가령 ㄷ 불규칙을 생각해보면 ㄷ...
-
여기서 그냥 루트x/로트x니까 차수 같다고 간주하고 바로 1이라고 하면 안되나요?...
-
NNJMBF 자꾸 방터지네 이번엔 진짜임
-
1.5라 우럿서 수학은 1등이니까 써도 되지 않을까...? 나가면 써볼까...
-
물1 생1 각각 90 84이고 목표는 메디컬인데 사탐런하는게 맞을까요? 일단...
오 좋은 글이네요
논리학을 전기회로로 비유하다니... 신박합니다
전기회로가 논리연산자에 완벽하게 대응된다는 것은 클로드 섀넌(Claude E. Shannon)이 21살 때 전기공학 석사학위 논문으로 발표한 내용이긴 합니다. 은 인류 역사상 가장 위대한 석사학위 논문, 20세기 가장 중요하고 가장 유명한 석사학위 논문 등으로 일컬어지고요.
저는 그 아이디어를 차용하여 수준을 더 낮추고, INUS조건 개념을 전기회로로 표현해본 것에 불과합니다. :)
‘섀년의 도깨비’의 그 쌔넌 맞나요?
네 ㅎㅎ
와..ㅠㅠ 정말 대단하시네요.
좋은 글 써주셔서 감사합니다!!
https://youtu.be/AiNqEz4yXh4
추론규칙을 추가하여 영상으로도 올렸으니 시청해보세요. 감동적일 겁니다 ㅎㅎ