[이산수학1-5]Quantifiers(한정사)

명제함수와 논의영역 ▷ 명제함수(Propositional function) - 변수 x를 포함하는 명제 P를 P(x)라고 쓰고 이를 명제함수라고 부른다. ▷ 논의영역(Domain of discourse) - 명제함수의 변수 x의 범위 D를 의미한다. (x∈D) (Example) n은 홀수이다.

이를 해석하면 다음과 같다. P(n): n은 홀수이다. n∈N 한정문 ▷ 전체 한정문(Universally quantified statement) - for every x, P(x)와 같은 형태의 명제를 의미한다. - 이때 'for every'는 기호 '∀'로 작성한다. ▷ 존재 한정사(Existential quantified statement) - for some x, P(x)와 같은 형태의 명제를 의미한다. - 이때 'for some'는 기호 '∃'로 작성한다.

∃x, P(x) (example) ∃x, (x/(x^2+1)=2/5) P(1)=(1/2=2/5): false. 반례(Coun...