existential_proposition
대상영역의 원소가 하나 이상 참이 되는 명제
∃ 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
존재명제
와
쌍대,dual
:
전칭명제
Up:
명제proposition
>
한정명제
...
존재명제
존재명제
Retrieved from http://www.red-ruby.com/wiki/wiki.php/존재명제
last modified 2023-12-10 10:23:49