[모듈식 수학 (하)] 1. 집합과 명제 (28) 조건의 부정

조건의 부정

---

지지난 시간에 '조건'을 배웠고 지난 시간에 '진리집합'을 배웠습니다. 오늘은 이 두 개념을 이용하여 조건의 부정을 배워봅시다. 조건을 하나 만들어봅시다. 이 조건을 p라고 하겠습니다. 

p(x) : x는 홀수이다.

이 조건을 부정한다는 것은 이조건을 반대로 말하면 됩니다. 기호로는 ~p 로 쓰고 물결(~)은 영어로 not을 의미합니다.

~p(x) : x는 홀수가 아니다.

이번에는 조건의 부정을 진리집합과 연관지어 봅시다. 전체집합을 먼저 정의하겠습니다. 

조건 p를 만족하는 진리집합 P는 아래와 같습니다. 

조건 p의 부정인 ~p를 만족하는 진리집합은 아래와 같습니다. 

~p의 진리집합은 P의 여집합과 같습니다. 

한가지만 더 알아보겠습니다. 조건 p의 부정의 부정은 무엇일까요. ~(~p) 니까 p와 같습니다.