Difference between r1.1 and the current
@@ -1 +1,17 @@
Up: [[한정명제]]
'''existential_proposition'''
대상영역의 원소가 하나 이상 참이 되는 명제
∃ x in U : q(x)
'집합 A의 원소 x 중에서 p(x)가 참이 되도록 하는 것이 하나 이상 존재함'을
$\exists x\in A:p(x)$ 로 표기.
그 부정은 $\forall x\in A:\left[\sim p(x)\right]$
사용하는 기호/양화사: [[존재기호existential_quantifier]]
'''존재명제'''와 [[쌍대,dual]]: [[전칭명제]]
Up: [[명제proposition]] > [[한정명제]]
... Ndict:존재명제 Ggl:존재명제
existential_proposition
대상영역의 원소가 하나 이상 참이 되는 명제
$\displaystyle \exists x\in A:p(x)$ 로 표기.
∃ x in U : q(x)
'집합 A의 원소 x 중에서 p(x)가 참이 되도록 하는 것이 하나 이상 존재함'을$\displaystyle \exists x\in A:p(x)$ 로 표기.
그 부정은 $\displaystyle \forall x\in A:\left[\sim p(x)\right]$
사용하는 기호/양화사: 존재기호existential_quantifier