한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과13건

검색 결과 제목

  1. 1‘왜 그렇게 정했나요?’는 확인 질문일까, 반론 질문일까?
  2. 25인 모둠에서 반박 역할이 한 사람에게만 몰리지 않게 하려면?
  3. 3증명은 결론만 맞으면 끝일까?
  4. 4‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
  5. 5셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.

증명은 결론만 맞으면 끝일까?

전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

증명은 결론만 맞으면 끝일까?

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →
A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic

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

1–5 / 13편