Sets & Propositions
집합은 어떤 대상이 속하는지 아닌지를 분명히 가릴 수 있는 모임이고, 명제는 참인지 거짓인지를 분명히 가릴 수 있는 문장이에요. 두 집합에 함께 속하는 원소를 모은 교집합과 어느 한쪽에라도 속하는 원소를 모은 합집합은 벤 다이어그램으로 그리면 관계가 한눈에 들어와요. 'p이면 q이다' 꼴의 명제에서 가정과 결론을 바꾸거나 부정하면 역, 이, 대우가 되는데, 그 가운데 대우는 원래 명제와 참, 거짓이 언제나 같아요. 첫 번째 그림에서는 원소의 개수를 바꾸며 합집합의 원소 개수 공식을 확인하고, 두 번째 그림에서는 p와 q의 참, 거짓을 바꾸며 원래 명제와 대우를 나란히 비교할 수 있어요.
마지막 수정