코너 안내한 번 쓴 전제를 마음대로 다시 써도 될까?논리학 배우기
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과78건
검색 결과 제목
코너 안내끝자리는 둘인데, 네 지역이 끝자리를 요구한다논리학 배우기
끝자리는 둘인데, 네 지역이 끝자리를 요구한다
모든 다리를 한 번씩 쓰는 한 여행을 가정한다. 중간 지역에서는 들어옴·나감이 짝을 이룬다. 홀수 지역은 출발·도착 두 곳만 가능하다. 실제 연결망에는 홀수 지역이 네 곳이다. 따라서 주어진 규칙의 여행은 불가능하다.
코너 안내프레게와 퍼스 · 선의 위치로 조건문을 읽다논리학 배우기
프레게와 퍼스 · 선의 위치로 조건문을 읽다
프레게의 조건문에서 위 가지는 확인 메일을 받았다는 Q, 아래 가지는 자료를 제출했다는 P다. 맨 왼쪽의 짧은 세로선은 전체 내용에 대한 판단 표시다.
코너 안내인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?논리학 배우기
인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.
코너 안내증명에서는 규칙을 적용해 한 줄을 얻는다에서 전제, 규칙, 결론의 관계를 정리했다.논리학 배우기
증명에서는 규칙을 적용해 한 줄을 얻는다에서 전제, 규칙, 결론의 관계를 정리했다.
생각그림 11 · 증명에서는 규칙을 적용해 한 줄을 얻는다에서 전제, 규칙, 결론의 관계를 정리했다.
66–70 / 78편