[
edit
]
기호
¶
∃
LaTeX에선 \exists :
$\displaystyle \exists$
숫자 0, 1과 관련. //
영,zero
하나,one
0은 안됨. 1부터 됨. // ('존재'여부는 그 개수가 0이면 안되고 1개 이상부터 된다는 얘기.)
'단 하나만' 있어도 됨.
관련:
존재명제
existence
-
존재성,existence
or
존재,existence
비교:
전칭기호universal_quantifier
REL
existential_quantification
MKL
이걸 제거하는 것과
Skolem_normal_form
{
Skolem_normal_form
}
Skolemization
Skolemization
?
"Skolemization: remove existential quantifiers by introducing new function symbols."
see
https://www.cs.toronto.edu/~sheila/384/w11/Lectures/csc384w11-KR-tutorial.pdf
p2
existential_quantifier
=
https://en.wiktionary.org/wiki/existential_quantifier
predicate_calculus
(curr at
술어%2Cpredicate?action=highlight&value=predicate_calculus#s-4.1
)에서, ....
Existence_quantifier
https://mathworld.wolfram.com/ExistentialQuantifier.html
https://ncatlab.org/nlab/show/existential quantifier
Up:
한정기호_정량자_quantifier
Retrieved from http://red-ruby.com/wiki/wiki.php/존재기호existential_quantifier
last modified 2024-01-14 21:14:32