코너 안내기초 논리학 17편 · 전제에서 결론까지 한 단계씩 어떻게 추론하나요?논리학 배우기
기초 논리학 17편 · 전제에서 결론까지 한 단계씩 어떻게 추론하나요?
전건 긍정과 후건 부정, 그리고·또는을 사용하는 추론을 구체적인 상자 사례에서 시작합니다. 전제와 새로 얻은 내용을 나누고, 앞선 어느 줄에서 어떤 규칙을 썼는지 표시합니다. 복합식을 규칙에 넣는 법과 잘못된 풀이를 고치는 법을 익힌 뒤, 전제에서 결론까지 직접 도출해 봅니다.
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
전건 긍정과 후건 부정, 그리고·또는을 사용하는 추론을 구체적인 상자 사례에서 시작합니다. 전제와 새로 얻은 내용을 나누고, 앞선 어느 줄에서 어떤 규칙을 썼는지 표시합니다. 복합식을 규칙에 넣는 법과 잘못된 풀이를 고치는 법을 익힌 뒤, 전제에서 결론까지 직접 도출해 봅니다.
전건을 잠시 가정하고 후건을 이끌어 내는 조건문 증명을 익힙니다. 원래 전제와 임시 가정을 구별하고, 가정이 끝난 뒤 사용할 수 있는 결과를 확인합니다. 복합 전건·후건, 중첩 가정과 쌍조건문의 두 방향을 쉬운 대화와 단계별 표로 살펴봅니다.
경우를 나누는 증명과 모순을 이용하는 증명을 배웁니다. 또는의 두 경우에서 같은 결론을 얻는 과정, 부정을 증명하는 과정, 고전논리의 귀류법을 단계별로 확인합니다. 가정의 범위와 원래 전제의 참을 구별하며 잘못된 증명을 직접 고쳐 봅니다.
기초 논리학의 마지막 편입니다. 가상의 체험 자료 봉투를 둘러싼 논증을 읽고, 기호화·반례·진리표·추론·증명을 연결해 봅니다. 전제의 실제 참을 확인하는 일도 따로 살피며, 혼자 푸는 종합 문제로 배운 내용을 정리합니다. 마지막에는 이름·성질·관계·모두와 일부를 다룰 중급 논리학의 방향을 살펴봅니다.
1221–1225 / 2634편