1. 논리와 증명 - Hard vs. Soft Logic - 카드 문제 사실: 모든 카드의 한쪽에는 알파벳, 다른 쪽에는 숫자 주장: 만약에 한쪽이 D이면 반대쪽은 3 문제: 주장이 사실인지 확인하기 위해 아래 카드 중 반드시 뒤집어 봐야 하는 카드는 몇 개이고 어느 것인가? D, F, 3, 7 답은... 2개 D, 7 F 뒤에 3이어도 주장과 상관 없음 3 뒤에 D가 아니어도 주장과 상관 없음 7 뒤에 D가 있으면 주장과 다르다. - 맥주집 문제 규칙: 20세 이하인 사람은 맥주를 마실 수 없음 문제: 나이 혹은 마시고 있는 것을 표시한 다음 4명 중 확인이 필요한 사람은 몇명이고 누구인가? 17세, 31세, 콜라, 맥주 답은... 17세, 맥주 - 맥주집 문제가 카드문제보다 쉽다. - 논리 구조를 정..