한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과21건

검색 결과 제목

  1. 6셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
  2. 7한 행의 값만 보면 의존을 판단할 수 있을까?
  3. 8모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?
  4. 9명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
  5. 10중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?
점수 70 → 보완 → 점수 70 → 보완 → 점수 70 → 통과 → 같은 입력·다른 출력은 위반를 비교하는 LTCT 교육용 도식

한 행의 값만 보면 의존을 판단할 수 있을까?

점수 70 → 보완 → 점수 70 → 보완 → 점수 70 → 통과 → 같은 입력·다른 출력은 위반를 비교하는 LTCT 교육용 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 심화

한 행의 값만 보면 의존을 판단할 수 있을까?

의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.

Dependence Logic

게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
여러 유한 부분집합이 각각 모형을 가진다는 전제에서 전체 이론의 공통 모형 존재로 이어지는 콤팩트성 도식

모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?

여러 유한 부분집합이 각각 모형을 가진다는 전제에서 전체 이론의 공통 모형 존재로 이어지는 콤팩트성 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?

1차 논리의 콤팩트성 정리는 이론의 모든 유한 부분이 모형을 가지면 전체도 모형을 가진다고 말합니다. 유한 점검과 전체 일관성 사이의 정확한 다리를 살펴봅니다.

First-order Model Theory

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
유한 조건 묶음들이 각각 만족되는 경로와 무한 연언 전체를 확인하는 경로가 콤팩트성 검토점에서 갈라진다.

명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?

유한 조건 묶음들이 각각 만족되는 경로와 무한 연언 전체를 확인하는 경로가 콤팩트성 검토점에서 갈라진다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 심화

명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?

무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.

Infinitary Logic

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

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

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

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

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

Medieval Theories of Consequence

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

6–10 / 21편