한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과23건

검색 결과 제목

  1. 11확률을 넣은 논리도 여전히 연역논리일 수 있을까?
  2. 12논리 기호의 뜻을 진리표 없이 설명할 수 있을까?
  3. 13증명과 프로그램이 같은 구조라고 말할 수 있을까?
  4. 14논리적으로 같은 문장을 조금 바꾸면 인공지능(AI) 답도 그대로일까?
  5. 15가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?
사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.

Logic and Probability

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

증명과 프로그램이 같은 구조라고 말할 수 있을까?

A의 증거, 함수 A → B, B의 증거의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램이 같은 구조라고 말할 수 있을까?

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
원문과 대우 이중부정 무관사실 변형이 같은 정답 노드에 모이고 부정 변형의 불일치가 따로 표시된다.

논리적으로 같은 문장을 조금 바꾸면 인공지능(AI) 답도 그대로일까?

원문과 대우 이중부정 무관사실 변형이 같은 정답 노드에 모이고 부정 변형의 불일치가 따로 표시된다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

논리적으로 같은 문장을 조금 바꾸면 인공지능(AI) 답도 그대로일까?

RobustLR는 최소 논리 편집과 동치 변환으로 연역 모델의 일관성을 검사했고, 학습된 모델들이 특히 부정에서 흔들림을 보였습니다.

RobustLR: A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
물 부족·해충·열기 세 후보를 한 구역 피해, 젖은 흙, 난방기 인접이라는 관찰과 대조하는 확인표.

가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?

물 부족·해충·열기 세 후보를 한 구역 피해, 젖은 흙, 난방기 인접이라는 관찰과 대조하는 확인표.
논증과 대화논리학 배우기 · 개념·이론 · 일반

가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?

최선의 설명으로의 추론은 비교한 후보들의 범위에 의존합니다. 설명의 순위와 진실의 보장을 구분하고, 빠진 후보를 찾는 질문을 살펴봅니다.

Abduction

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

11–15 / 23편