‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
핀란드 무작위 설문실험은 자기 이익에 반하는 ‘마지못한 출처’가 중립 출처보다 자동으로 신뢰받지 않았음을 보여 줍니다.
The Force of the Argument Source: The Partiality of the Source Influences the Evaluation of Political Arguments
시각 데이터 소통 연구는 값과 시각 속성의 대응, 불확실성 표현, 메시지 명료성을 따로 점검한다.
The Science of Visual Data Communication: What Works
모세 착각 연구는 빠른 오답을 낸 사람도 낮은 확신으로 오류 충돌을 감지할 수 있음을 보여 줍니다.
Moses illusions, fast and slow
세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가?
The Logic of Action
106–110 / 307편