처음부터 차근차근
기본 용어와 관계 읽기부터 시작해 논리식과 추론으로 이어갑니다.
첫걸음 → 명제논리 → 집합과 범주 → 술어논리처음부터 시작하기 →기초부터 철학·AI까지 · 12개 분야
문장을 정확히 읽는 것에서 시작해 추론을 검토하고, 그림으로 관계를 읽고, 철학과 인공지능의 논리까지 이어갑니다.
12개 분야를 차례로 배우거나, 지금 관심 있는 주제부터 시작할 수 있습니다.

전체 구조
처음이라면 1단계부터 차례로 따라가 보세요. 앞에서 배운 관계가 다음 분야의 도구가 됩니다.
문장을 논리 구조로 바꾸는 첫 단계
대상과 관계를 표현하고 결론을 검사하는 단계
불확실성·그림·확장된 체계로 넓혀 가는 단계
철학·역사·인공지능으로 연결하는 단계
학습 경로
모든 사람이 같은 순서로 배울 필요는 없습니다. 목적에 따라 첫 진입점을 고를 수 있습니다.
기본 용어와 관계 읽기부터 시작해 논리식과 추론으로 이어갑니다.
첫걸음 → 명제논리 → 집합과 범주 → 술어논리처음부터 시작하기 →문장을 구조로 바꾸고, 추론의 타당성과 반례를 빠르게 찾는 힘을 기릅니다.
첫걸음 → 명제논리 → 술어논리 → 증명과 반례 → 오류론 → 시각논리시험 중심으로 배우기 →그림, 철학, 인공지능처럼 흥미로운 주제에서 논리를 만나도 됩니다.
시각논리 · 철학적 논증 · AI와 논리학관심 분야 고르기 →12개 분야
순서대로 배워도 좋고, 지금 필요한 내용을 골라 시작해도 좋습니다.
주장과 이유, 전제와 결론, 참과 타당성, 구조 읽기와 반례를 7단계로 익힙니다.
처음 배우는 분에게 추천이 분야 시작하기명제와 진리값, 부정·그리고·또는·조건문, 진리표, 괄호와 논리적 동치를 8단계로 익힙니다.
첫걸음 다음에 추천이 분야 시작하기원소와 집합, 포함·겹침·배제, 범주 문장, 벤·오일러 다이어그램, 삼단논법과 반례를 8단계로 익힙니다.
이 분야 시작하기논의 영역과 대상, 술어와 관계, 모든·어떤 양화사, 부정, 적용 범위, 양화사 순서와 동일성을 8단계로 익힙니다.
명제논리를 먼저 보면 더 쉬워요이 분야 시작하기증명의 목표와 추론 규칙, 직접 증명, 조건부 증명, 경우 나누기, 귀류법, 반례와 반례 모델을 8단계로 익힙니다.
이 분야 시작하기오류 판정 기준, 형식·관련성·전제·애매성·귀납·인과 오류, 진단 절차와 논증 고쳐쓰기를 8단계로 익힙니다.
이 분야 시작하기연역과 귀납, 일반화와 표본, 확률과 기저율, 가설과 증거, 상관과 인과, 교란과 개입, 결론의 강도를 8단계로 익힙니다.
이 분야 시작하기관계 읽기, 관계로 추론하기, 표현이 바뀌어도 같은 논리를 찾는 법을 논증도·벤·오일러·플로우차트·결정 다이어그램·인과 그래프·카르노 맵·존재그래프와 함께 8단계로 익힙니다.
이 분야 시작하기양상논리, 시간논리, 다치·퍼지논리, 직관주의 논리, 모순허용 논리, 관련성 논리와 체계 선택 기준을 8단계로 익힙니다.
명제·술어논리를 알고 보면 더 쉬워요이 분야 시작하기논증 읽기, 개념 분석과 사고실험, 신 존재 논증, 악의 문제, 자유의지, 인격과 정체성, 회의주의와 논증 평가를 8단계로 익힙니다.
이 분야 시작하기아리스토텔레스, 불, 프레게, 퍼스, 페아노·러셀·화이트헤드와 현대 논리 표기의 변화를 8단계로 익힙니다.
이 분야 시작하기기호추론, 자동증명, 제약·탐색, 확률추론, 신경기호 결합, 언어모델의 추론, 검증과 사람의 판단을 8단계로 익힙니다.
앞 분야를 자유롭게 연결해 보는 종합 영역이 분야 시작하기한 강씩 더 깊이
하나의 개념을 짧은 수업으로 나누어 그림과 문제를 직접 움직이며 익힙니다.
배운 것을 더 넓혀 보기
12개 분야에서 익힌 관계를 다른 자료와 활동으로 다시 만나 봅니다.