코너 안내프레게와 퍼스 · 퍼스는 종이를 논리의 공간으로 삼았다논리학 배우기
프레게와 퍼스 · 퍼스는 종이를 논리의 공간으로 삼았다
네 칸에서 P와 Q의 나란한 배치, 전체를 감싼 한 테두리, Q만 감싼 두 테두리, 두 테두리 사이에 P가 있는 조건문을 비교한다.
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
네 칸에서 P와 Q의 나란한 배치, 전체를 감싼 한 테두리, Q만 감싼 두 테두리, 두 테두리 사이에 P가 있는 조건문을 비교한다.
테두리 밖의 P와 Q에서 Q를 지우는 추론은 정당하다. 한 테두리 안에서 같은 동작을 하면 P 참, Q 거짓일 때 참인 전제에서 거짓인 결론을 얻으므로 일반적으로 정당하지 않다.
같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리
일회용 전제 T 하나가 두 분기 중 하나로만 이동하고 사용 뒤 잔량이 0이 되는 자원 추적도
71–75 / 78편