‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과3건
검색 결과 제목
“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?
직관주의 논리에서 증명은 단순한 정답표가 아니라 구성을 제시하는 일입니다. 선언과 이중부정의 차이를 읽습니다.
Intuitionistic Logic
게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
코너 안내“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?논리학 배우기
“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?
빨강 또는 파랑 주장에는 한쪽 표지의 증명이 필요하고, 존재 주장에는 실제 상자와 검증이 필요하며, 이중부정만으로 빨강 구성이 완료되지는 않는다는 세 행 표.
1–3 / 3편