한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과11건

검색 결과 제목

  1. 1셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
  2. 2‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?
  3. 3불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?
  4. 4‘아니다’는 언제 모순이고 언제 단순한 반대일까?
  5. 5자기 자신을 입력으로 받는 규칙은 왜 위험할까?
위쪽 TBox의 의사에서 전문가로 가는 포함 화살표와 아래쪽 ABox의 민지 사실이 결합되는 두 층 도식

‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?

위쪽 TBox의 의사에서 전문가로 가는 포함 화살표와 아래쪽 ABox의 민지 사실이 결합되는 두 층 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?

기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.

Basic Description Logics

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
뜨겁다, 뜨겁지 않다, 차갑다의 포함 관계를 보여 주는 가로 온도축과 부정·반대 구분 도식

‘아니다’는 언제 모순이고 언제 단순한 반대일까?

뜨겁다, 뜨겁지 않다, 차갑다의 포함 관계를 보여 주는 가로 온도축과 부정·반대 구분 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘아니다’는 언제 모순이고 언제 단순한 반대일까?

스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.

Negation

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
입력형 A, 함수 A → B, 출력형 B의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

입력형 A, 함수 A → B, 출력형 B의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →

1–5 / 11편