F gündelik dilde herhangi bir yüklem olmak üzere, “Her şey 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, “Her şey F dir” demek, hem a, hem b, hem de c F dir demektir. “Her şey F dir” önermesi sembolik olarak ∀ x Fx ile gösterilmektedir.