가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.
Hybrid Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과10건
검색 결과 제목
변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?
결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.
Combinatory Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?
기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.
Basic Description Logics
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?
1차 논리의 콤팩트성 정리는 이론의 모든 유한 부분이 모형을 가지면 전체도 모형을 가진다고 말합니다. 유한 점검과 전체 일관성 사이의 정확한 다리를 살펴봅니다.
First-order Model Theory
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.
Infinitary Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
1–5 / 10편