[이산수학] 존재한정자

존재한정자

∃ ( there exist)의 의미로 e를 대문자로 표현하고 좌우로 바꾼 것입니다. 따라서 어떤 x에 대해서 ∃xP(x)  : 도메인 D의 어떤 x에 대해서 하는 것입니다. 

 

명제 x의 p(x)가 참이 되도록 하는 domain에 속하는 적어도 하나의 값이 존재하면 ∃x는 참이 되는 것입니다.

 

존재한정자의 의미는 Domain의 모든 원소를 x1, x2, ... xn으로 나열할 수있다면 ∃xP(x)는 다음과 동일합니다. 

 

 

 

구속 변수와 자유 변수

구속 변수와 자유 변수 

 

변수 X에 QUANTIFIER가 적용되거나 특정 값이 할당되면 x를 구속변수라고 합니다. 

 

변수 x에 quantifier가 적용되지 않거나 특정 값이 할당되지 않으면 이를 자유변수라고 합니다.