한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과52건

검색 결과 제목

  1. 26논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?
  2. 27중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?
  3. 28‘아니다’는 언제 모순이고 언제 단순한 반대일까?
  4. 29확률을 넣은 논리도 여전히 연역논리일 수 있을까?
  5. 30논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?
두 조건의 네 조합 00, 01, 10, 11에서 또는의 출력은 0,1,1,1이고 그리고는 0,0,0,1이다.

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

두 조건의 네 조합 00, 01, 10, 11에서 또는의 출력은 0,1,1,1이고 그리고는 0,0,0,1이다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.

Algebraic Propositional Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?

중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?

중세의 consequentia 이론은 필연적 진리보존, 형식, 내용 연결을 서로 다른 기준으로 다루었습니다.

Medieval Theories of Consequence

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

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

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

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

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

Negation

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식

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

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

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

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

Logic and Probability

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
전체 정확도가 명제논리, 1차논리, 비단조논리의 규칙별 진단 칸으로 분해되는 그림

논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?

전체 정확도가 명제논리, 1차논리, 비단조논리의 규칙별 진단 칸으로 분해되는 그림
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?

LogicBench는 25개 추론 패턴을 명제·1차·비단조 논리로 나눠, 정답률 하나가 숨기는 규칙별 실패를 드러냅니다.

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →

26–30 / 52편