1- Todo el mundo tiene suerte de vez en cuando. siendo F = Todo el mundo tiene. F(x) = Todo el mundo tiene x.

Siendo: x = Suerte de vez en cuando. Entonces la constante suerte de vez en cuando satisface F(x) porque la proposicin F(suerte de vez en cuando) = todo el mundo tiene suerte de vez en cuando. Es verdadera. Cuantificado universalmente:

x : F ( x)
2- Todos los perros tienen cola. Siendo F = Todos los perros tienen. F(x) = Todos los perros tienen x. Siendo x = cola. Entonces la constante cola satisface F(x) porque la proposicin F(cola) = Todos los perros tienen cola. Es verdadera. Cuantificado universalmente:

x : F ( x)
3- Hay alguien que conoce a todo el mundo. Siendo: x = alguien

x / x conoce a todo el mundo.

x / : P( x, y)