Es una proposición con un predicado cuyos argumentos son constantes lógicas o bien variables cuantificadas.