AKIT
English Eesti

existential quantifier

eksistentsikvantor

olemus
loogikasümbol \(\exists\):
kui \(P\) on predikaat, siis \(\exists x P(x)\) tähistab väidet
"leidub selline \(x\), et \(P(x)\)"
=
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

ülevaateid
https://en.wiktionary.org/wiki/existential_quantifier

https://en.wikipedia.org/wiki/Existential_quantification

https://ncatlab.org/nlab/show/existential+quantifier

vt ka
- kvantor