중간 정리 없이도 같은 결론을 증명할 수 있을까?
시퀀트 계산법에서 컷 규칙을 사용하는 증명과 컷을 제거한 증명을 비교하면서 부분식 성질과 무모순성의 범위를 살펴봅니다.
Gerhard Gentzen original 1935 publication
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
시퀀트 계산법에서 컷 규칙을 사용하는 증명과 컷을 제거한 증명을 비교하면서 부분식 성질과 무모순성의 범위를 살펴봅니다.
Gerhard Gentzen original 1935 publication
비가 올 가능성과 우산을 챙기는 결정, 비를 맞는 결과를 구분해 적어 봅니다. 데이비드 풀의 독립 선택 논리는 우연한 사건에 확률을 붙이고, 선택 뒤의 결과를 논리 규칙으로 계산합니다. 작은 수치 예로 그 과정을 따라갑니다.
David Poole, The Independent Choice Logic for Modelling Multiple Agents under Uncertainty (1997)
어떤 대상이 “키가 크다”에 해당하는 정도를 0.7, “빠르다”에 해당하는 정도를 0.6으로 정했다고 합시다. 두 조건을 함께 말할 때 결과는 얼마일까요? 페트르 하예크의 논문을 따라 계산 규칙과 추론의 관계를 살펴봅니다. 이 수치는 계산을 설명하기 위해 정한 예입니다.
Petr Hájek, What is Mathematical Fuzzy Logic (2006)
앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.
forall x: Calgary, Chapter 10: Truth-functional connectives
기저율·민감도·거짓양성률을 같은 기준 인원의 자연 빈도로 바꾸어, 양성자 가운데 실제 해당자를 결정하는 분모를 직접 확인합니다.
How to Improve Bayesian Reasoning Without Instruction: Frequency Formats
1–5 / 25편