[ 집합론 ] 1. 명제와 논리 - 02.명제함수

1. 명제함수와 한정기호

명제함수  : 변수 x가 결정되어야만 참, 거짓이 판단되는 문장 -> p(x), q(x)로 나타냄

ex) 블랙핑크의 멤버는 x명이다 

       x의 범위 : 대상 영역, 모집단

한정기호 : 전칭 기호와 존재 기호

                  전칭 기호 ∀ : for every

                  존재 기호 ∃ : for some

2. 명제의 부정

두 명제 p와 q에 대해, x의 모집단은 건드리지 않도록 하며 다음과 같은 4가지 원리를 모두 적용한다.

1.∀⇄∃

2. p⇄~p

3.∧⇄∨

4.<⇄≥