Siguiendo esta idea, la lógica de primer orden trata a los predicados que expresan relaciones, como funciones que toman "dos" o más argumentos.