철학
+ 공통수학1
심화
인문
명제 논리와 집합
드모르간 법칙
탐구 방법
[논리 추론 검증 프로젝트] 일상 언어 논증 10개를 명제 논리 기호로 형식화하고, 진리표와 벤 다이어그램으로 타당성을 판정하며, 드모르간 법칙을 적용한 명제·집합 변환 사례를 표로 정리하여 논리-집합 대응 구조를 분석
확장 연결
삼단논법의 타당성을 벤 다이어그램과 진리표로 검증하고, 형식 논리의 한계(연역의 정보 비증가성)와 귀납·귀추의 역할을 분석철학의 관점에서 탐구
추천 탐구 주제
역설(거짓말쟁이 역설, 러셀의 역설)의 논리적 구조
퍼지 논리와 다치 논리의 철학적 함의
괴델의 불완전성 정리와 형식 체계의 한계