Gelen matematik ve mantık , daha kesin olarak içinde Yüklemlerinin hesaplanması , varlığı , bir nesnenin X , belirli bir özellik ya da tatmin edici yüklemi , p ∃ ile gösterilir x P ( x ), matematiksel sembol ∃ "bu mevcut" oku olan varoluş niceleyici ve P ( x ) nesnesi aslında x özelliği için P .
X nesnesi P ( x ) özelliğine sahiptir, yüklemleri hesaplamak için bir formülle ifade edilir . Örneğin,
Varoluş niceleyici ∃ bir bağlanma operatör ya da bir işaret mutifying olduğu; niceleyicinin hemen ardından gelen değişkenin ifadede bağlı olduğu veya sessiz olduğu söylenir. ∃ Böylece deyim x P ( x bağlı değildir) x ve ∃ örneğin eş anlamlıdır z P ( Z ).
İfade, doğrudan doğruya açık bir kurguyla, dikkate alınan nesneyi üreterek veya dolaylı olarak, absürdün muhakeme durumunda olduğu gibi, muhtemelen yapıcı olmayan bir gösteri ile gösterilebilir . Hatta bir matematik teorisinin aksiyomu ile doğrudan ifade edilebilir .
Önceden , varoluş benzersizliği garanti etmez ; bu, aynı özellikleri karşılayan birkaç nesnenin olabileceği anlamına gelir, bu nedenle bu tür nesneleri farklı yöntemlerle (veya aynı yöntemi tekrarlayarak) elde etmek mutlaka aynı sonuca yol açmayacaktır. Bir olduğunda eşsiz varoluşsal miktar , o işareti “∃ kullanarak varlık ve teklik bir bağlaç, yüklem genellikle belirtilmektedir demek ki! "," ∃ "işaretiyle aynı sözdizimine sahip.
Değişkenler farklı setlerle, gerçek, tamsayı, vektörlerle sınırlandırılabilir ... Çoğu zaman, nicelemede değişkenin sınırlandırıldığı alanı açıkça belirtmek gerekir, örneğin ∃ x ∈ ℝ P ( x ), değişken x , nicelemeyi yüklemden ayırmak için çeşitli olası sözdizimleri ile gerçek bir sayıyı belirtir (önceki gibi boşluk, virgül: ∃ x ∈ ℝ, P ( x ), vb.).