존재 한정기호

[03] 이산수학(술어와 한정기호)

명제 논리의 한계 : 주어와 술어를 구분하지 않고, 문장 전체를 하나의 명제로 다루는 것 전칭 한정기호(∀) : 어떤 변수가 취할 수 있는 값 중, 특정 영역에 속하는 모든 값에 대하여 참 존재 한정기호(∃) : 어떤 특정한 조건을 만족하는 원소가 존재한다. 유일 한정기호(∃!) : 전칭 한정기호와 존재 한정기호를 이용하여 만들 수 있음 유한정의역 : 한정기호의 정의역이 유한하면, 모든 원소들을 나열할 수 있다. 즉, 한정된 문장을 명제 논리로 표현할 수 있다. 구속 변수 : 변수 x에 한정기호가 적용되면, 이 변수를 구속변수라고 한다. 반대로, 한정기호가 적용되지 않거나, 값이 할당되어 있지 않으면 자유 변수라고 한다. 한정기호에 대한 드 모르간 법칙 : ￢∀xP(x) ≡ ∃x￢P(x), ￢∃xQ(x)..