위키득계정 ↗
과학

존재명제

존재명제과학
영문명
Existential statement
표기
∃x P(x)
존재 수
적어도 하나
부정
∀x ¬P(x)
존재명제는 정해진 논의영역에서 어떤 성질을 만족하는 대상이 적어도 하나 있다고 주장하는 명제다. ∃x P(x)로 나타내며 정확히 하나뿐이라고 말하는 것은 아니다.

예 하나로 보이기

짝수인 정수가 존재한다는 명제는 정수 2를 제시해 참임을 보일 수 있다. 성질을 만족하는 구체적인 예는 존재의 증거가 된다. 반드시 가능한 모든 예를 나열할 필요는 없다.

정확히 하나와 차이

∃x P(x)는 하나 이상을 뜻하므로 여러 대상이 성질을 만족해도 참이다. 유일성을 말하려면 그 성질을 가진 두 대상은 언제나 같다는 조건 등을 추가해야 한다.

영역에 따른 변화

x²=−1을 만족하는 x가 존재한다는 명제는 실수 영역에서는 거짓이고 복소수 영역에서는 참이다. 성질의 식만 보지 않고 대상의 범위까지 확인해야 한다.

없다는 것을 표현하기

존재명제의 부정은 모든 대상이 그 성질을 만족하지 않는다는 전칭명제다. 한 대상이 성질을 만족하지 않는다는 사례만으로 존재명제를 반박할 수 없다. 다른 대상이 만족할 가능성을 배제해야 한다.

관련 문서

전칭명제 / 양화사 / 술어 논리 / 명제 / 반례 / 실수 / 복소수 / 집합