모순 하나가 발견되면 모든 문장이 따라와야 할까?
파라일관 논리는 모순에서 임의의 결론이 폭발하는 규칙을 제한합니다. 불일치와 아무 결론이나 허용하는 사소화를 구분합니다.
Paraconsistent Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과133건
검색 결과 제목
가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.
Hybrid Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
행동을 하나의 논리 연산자로 다룰 수 있을까?
세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가?
The Logic of Action
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?
결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.
Combinatory Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
56–60 / 133편