“조건이 참이면 그 조건은 거짓”이라는 문장을 받아들일 수 있을까?
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과20건
검색 결과 제목
‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.
Infinitary Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?
대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.
Algebraic Propositional Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?
양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.
Modal Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
1–5 / 20편