한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과17건

표시정렬

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

같은 기록 없음이 열린 세계에서는 미정, 닫힌 세계에서는 거짓이 되는 과정을 직접 바꾸며 자료 완전성 가정을 점검합니다.

On Closed World Data Bases

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

추론 규칙을 전제로만 계속 추가하면 적용을 위한 다음 규칙이 남습니다. 전제 추가와 실제 적용을 분리해 봅니다.

What the Tortoise Said to Achilles

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.

Outline of a Theory of Truth

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.

Linear Logic

1–5 / 17편