También en la lógica de predicados de primer orden: