F gündelik dilde herhangi bir yüklem olmak üzere, “Bazı şeyler F dir” önermesini ele alalım: Bizim hakkında konuştuğumuz tüm varlıklar yani “her şey”, S = {a, b, c} kümesinin elemanları ise, “Bazı şeyler F dir” yani “En az bir şey F dir” demek, “Ya a, ya b, ya da c F dir” demektir. “Bazı şeyler F dir” önermesi sembolik olarak ∃x Fx ile gösterilmektedir.