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

관심 주제로 찾아보기
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
모든 규칙을 한꺼번에 고치기 전에, 더는 줄일 수 없는 모순의 묶음을 찾아봅니다. 체크 상자로 규칙을 빼며 가능한 상태를 확인하세요.
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
위험비를 누적 사망확률이나 생존확률 비로 읽을 수 있는가?
How hazard ratios can mislead and why it matters in practice
다중우주 분석은 같은 원자료에서 합리적인 처리 선택의 조합을 펼쳐 결과의 안정성과 민감도를 보여 줍니다.
Increasing Transparency Through a Multiverse Analysis
시각화 효율은 제한된 주의 용량과 과제 종류에 맞춰야 합니다.
How Capacity Limits of Attention Influence Information Visualization Effectiveness
11–15 / 45편