코너 안내프레게와 퍼스 · 지우기에도 규칙이 있다논리학 배우기
프레게와 퍼스 · 지우기에도 규칙이 있다
테두리 밖의 P와 Q에서 Q를 지우는 추론은 정당하다. 한 테두리 안에서 같은 동작을 하면 P 참, Q 거짓일 때 참인 전제에서 거짓인 결론을 얻으므로 일반적으로 정당하지 않다.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과192건
검색 결과 제목
코너 안내증명할 수 있으면 모든 해석에서도 참일까?논리학 배우기
코너 안내전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?논리학 배우기
전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?
일회용 전제 T 하나가 두 분기 중 하나로만 이동하고 사용 뒤 잔량이 0이 되는 자원 추적도
코너 안내전제와 결론은 같은 주제를 공유해야 할까?논리학 배우기
코너 안내인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?논리학 배우기
인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?
최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.
176–180 / 192편