논리

177 삼단논법 특강: p이면 q, q이면 r, 고로 p이면 r! 177 삼단논법 특강: p이면 q, q이면 r, 고로 p이면 r! 🔗 ✨ 이 포스팅은 기기를 가로로 돌려서 보시면 더욱 편안하게 읽을 수 있어요! ✨ 핵심정리 삼단논법이란? 진리집합으로 이해하기 개념확인 안녕하세요, 논리의 연결고리를 찾아내는 탐정 친구들! 👋 우리가 명제를 다루다 보면, 여러 개의 명제들이 서로 연결되어 … Read more

176 명제의 증명: 대우법과 귀류법으로 진실 밝히기! 176 명제의 증명: 대우법과 귀류법으로 진실 밝히기! 🕵️‍♀️ ✨ 이 포스팅은 기기를 가로로 돌려서 보시면 더욱 편안하게 읽을 수 있어요! ✨ 핵심정리 대우법 (Contrapositive Proof) 귀류법 (Reductio ad absurdum) 개념확인 (예제) 안녕하세요, 논리의 진실을 파헤치는 탐험가 친구들! 👋 어떤 명제가 참이라는 것을 보이는 과정을 ‘증명’이라고 한다고 배웠죠? 때로는 … Read more

172 명제의 역과 대우: 가정과 결론의 자리 바꾸고 부정하기! 172 명제의 역과 대우: 가정과 결론의 자리 바꾸고 부정하기! 🔄🎭 ✨ 이 포스팅은 기기를 가로로 돌려서 보시면 더욱 편안하게 읽을 수 있어요! ✨ 핵심정리 명제의 역 (Converse) 명제의 대우 (Contrapositive) 명제, 역, 대우의 관계 개념확인 안녕하세요, 논리의 변신을 탐구하는 친구들! 👋 명제 “p이면 q이다” (p \rightarrow … Read more

171 ‘모든’ 또는 ‘어떤’ 명제의 부정: 반대로 뒤집고, 조건도 부정! 171 ‘모든’ 또는 ‘어떤’ 명제의 부정: 반대로 뒤집고, 조건도 부정! 🔄 ✨ 이 포스팅은 기기를 가로로 돌려서 보시면 더욱 편안하게 읽을 수 있어요! ✨ 핵심정리 “모든” 명제의 부정 “어떤” 명제의 부정 개념확인 안녕하세요, 논리의 반전을 즐기는 탐험가 친구들! 👋 지난 시간에는 “모든 x에 대하여 p(x)이다” … Read more

163 정의, 증명, 정리: 수학의 뼈대를 이루는 세 가지! 163 정의, 증명, 정리: 수학의 뼈대를 이루는 세 가지! 🏛️ ✨ 이 포스팅은 기기를 가로로 돌려서 보시면 더욱 편안하게 읽을 수 있어요! ✨ 핵심정리 정의 (Definition) 증명 (Proof) 정리 (Theorem) 개념확인 안녕하세요, 수학 용어의 의미를 파헤치는 탐험가 친구들! 👋 수학을 공부하다 보면 ‘정의’, ‘증명’, ‘정리’라는 단어들을 … Read more