| dbo:description
|
- matematický symbol (cs)
- logical quantification stating that a statement holds for at least one object (en)
- begrepp inom predikatlogiken (sv)
- jenis kuantifer, konstanta logika yang ditafsirkan sebagai \ada\, \setidaknya ada satu\, atau \untuk beberapa\ (in)
- un tipo di quantificatore che asserisce l'esistenza (it)
- indicador en la lógica formal que expresa que existe al menos un elemento con una determinada característica (es)
- в предикатной логике — предикат свойства или отношения для по крайней мере одного элемента из области определения (ru)
- Bere ondoren datorren proposizioa gutxienez unibertsoko elementu baterako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. Ikurra ∃ du, eta existitzen da, bada edo badago irakurtzen da (eu)
- opérateur mathématique, signifiant qu'il existe un objet vérifiant une propriété (fr)
- operador lógico ∃: Símbolo usado para denotar a quantificação existencial em lógica formal (pt)
|
