증명은 결론만 맞으면 끝일까?
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
자료를 본 뒤 자연스럽게 내린 선택들이 결합하면 보이지 않는 다중 비교가 생길 수 있습니다. 분석 선택지를 켜고 끄며 가능한 경로 수를 확인하세요.
The Garden of Forking Paths: Why Multiple Comparisons Can Be a Problem, Even When There Is No “Fishing Expedition” or “p-Hacking” and the Research Hypothesis Was Posited Ahead of Time
인원·시간·교대 수·대표 수를 바꾸어 교차 모둠, 직접 발언자, 회차 시간과 인수인계 준비물을 계산합니다.
CLEE Protocols
모든 규칙을 한꺼번에 고치기 전에, 더는 줄일 수 없는 모순의 묶음을 찾아봅니다. 체크 상자로 규칙을 빼며 가능한 상태를 확인하세요.
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
‘참석하면 이름표를 받는다’의 방향을 뒤집은 오답을 반례로 고치고, 추가 전제나 직접 기록에 따라 가능한 경우와 결론을 바꿉니다.
Chapter 12: Semantic concepts
61–65 / 124편