Por ello la lógica de predicados incluye necesariamente la cuantificación existencial.