‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사186편
검색 결과 제목
행동을 하나의 논리 연산자로 다룰 수 있을까?
세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가?
The Logic of Action
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?
결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.
Combinatory Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.
Skolem’s Paradox
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
둘 다 어느 정도 참이면 ‘그리고’는 어떻게 계산할까?
퍼지 논리의 핵심은 중간값을 허용하는 데서 한 걸음 더 나아가, 그 값들을 어떤 규칙으로 결합하는지 밝히는 데 있습니다.
Fuzzy Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
121–125 / 186편