코너 안내‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?논리학 배우기
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과82건
검색 결과 제목
코너 안내비슷한 기호를 묶는 추론은 증명일까?논리학 배우기
코너 안내어떤 논증을 더 줄이지 않아도 되는 출발점으로 삼았을까?논리학 배우기
어떤 논증을 더 줄이지 않아도 되는 출발점으로 삼았을까?
조건문 두 형식, 결합 부정 한 형식, 배타적 선택문 두 형식을 전제와 결론으로 나누어 보여 주는 다섯 카드
코너 안내결론이 따라오는 것과 전제가 실제로 참인 것은 다르다논리학 배우기
결론이 따라오는 것과 전제가 실제로 참인 것은 다르다
논증 형식이 타당한지와 전제가 모두 참인지 두 질문을 거쳐 건전한 논증, 타당하지만 건전하지 않은 논증, 타당하지 않은 논증으로 나누는 흐름도
코너 안내큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?논리학 배우기
큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?
큰 정리를 작은 목표로 나누면 AI 증명은 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
76–80 / 82편