기초 논리학 12편 · 결론이 참이면 논증도 올바른가요?
결론을 맞혔다는 사실과 그 결론을 얻은 추론이 타당하다는 판단을 나누어 봅니다. 거짓인 전제를 가진 타당한 논증, 참인 결론을 가진 부당한 논증을 카드와 숫자로 살펴봅니다. 전제의 참을 아직 모를 때에는 어떤 판단을 남겨야 하는지도 직접 연습합니다.
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
결론을 맞혔다는 사실과 그 결론을 얻은 추론이 타당하다는 판단을 나누어 봅니다. 거짓인 전제를 가진 타당한 논증, 참인 결론을 가진 부당한 논증을 카드와 숫자로 살펴봅니다. 전제의 참을 아직 모를 때에는 어떤 판단을 남겨야 하는지도 직접 연습합니다.
두 글자의 네 경우에서 세 글자의 여덟 경우로 진리표를 넓힙니다. 괄호 안의 부분부터 값을 계산하고, 전제가 모두 참인 줄에서 결론을 확인합니다. 완성 예제와 빈칸 채우기, 잘못된 풀이 고치기, 혼자 풀기를 거쳐 진리표를 직접 만드는 방법을 익힙니다.
상자 속 물건에 관한 논증을 검토하며 반례를 만드는 방법을 배웁니다. 결론을 거짓으로 놓고 전제를 하나씩 확인한 뒤, 반례의 실패 이유와 뜻·시점의 변화도 살펴봅니다. 진리표 한 줄을 우리말로 설명하고, 여러 연습에서 자신의 반례를 끝까지 검산합니다.
항진식·모순식·우연식을 진리표로 구별하고, 여러 전제가 함께 참일 수 있는지 직접 확인합니다. 각각은 참이 될 수 있어도 함께 성립하지 않는 조건을 찾아보고, 충족 가능성과 논증의 타당성을 나누어 판단합니다. 모든 예시는 참과 거짓 두 값을 사용하는 고전 명제논리의 범위에서 살펴봅니다.
한 번 함께 참인 두 식과 모든 배정에서 같은 값을 갖는 두 식을 구별합니다. 드모르간 법칙, 조건문과 쌍조건문, 괄호와 분배를 상자 사례로 확인하고, 긴 식의 한 부분을 바꾸는 방법을 연습합니다. 논리적 동치와 한 방향의 추론, 자연어의 모든 의미가 같다는 주장을 나누어 봅니다.
1216–1220 / 2634편