15. 명제와 논리 (Logic & Proposition: 참과 거짓을 가르는 컴퓨터의 영혼)

이 단원의 핵심 (Chapter Focus)

일상 언어의 애매모호함을 수학적이고 기계적인 O/X 판단으로 정립하는 ‘논리학(Logic)’의 기초를 다룹니다. 누구나 인정하는 명백한 참과 거짓의 세계인 ‘명제(Proposition)’, 그리고 조건이 어떻게 ‘진리집합’을 구성하는지 시각적인 벤 다이어그램(SVG)을 통해 포함 관계를 다룹니다. 더 나아가 논리를 이리저리 트위스트 하는 ‘역, 이, 대우’ 조합과 그것이 영구히 참임을 증명하는 파이썬(Python)의 불리언 진리표(Truth Table) 코딩, 그리고 수학자들을 절망에 빠뜨렸던 스스로 붕괴하는 ‘패러독스(Paradox)’의 인지적 미궁을 흥미롭게 탐험합니다. 이 단원 전체가 앨런 튜링과 컴퓨터 공학의 영혼이 태동하게 된 역사적 논리 톱니바퀴의 심장입니다.

목차 (Table of Contents)

• 00. 논리학의 시작: 명제 (참과 거짓) (Python: 불리언 비교 연산을 통한 파이썬 명제 판독기 실습)
• 01. 카멜레온 문장: 조건과 진리집합 (Visual: 조건 $p, q$의 운명을 결정짓는 벤 다이어그램 SVG 렌더링 포함 관계)
• 02. 논리의 화살: 조건문과 반례의 백조 (Visual: 모든 백조는 희다는 논리를 박살 내버린 호주 대륙의 철학적 파괴자 블랙스완 AI 툰)
• 03. 명제의 트랜스포머: 역, 이, 대우 그리고 파이썬 진리표 (Python: 운명 공동체인 대우 명제와 모든 T/F 경우의 수를 도출하는 진리표 자동 스크립트 작성)
• 04. 화살표 암기법: 충분조건과 필요조건 (Visual: 총탄(충분)을 쏴서 화살을 맞은 표적이 피(필요)를 흘리는 시각적 기억 SVG)
• 05. 배수진의 극의: 귀류법 (Proof by Contradiction) ($\sqrt{2}$가 무리수임을 증명하기 위해, 결론을 뒤집고 고의로 모순을 일으키는 무결점 증명 콤보)
• 06. 이 문장은 거짓이다: 논리의 붕괴, 패러독스(Paradox) (Visual: 에피메니데스의 거짓말쟁이 논리 루프 속에서 뇌가 무너져 내리는 혼란스러운 차원의 미궁 AI 일러스트)