Una función proposicional es un proceso del lenguaje que toma una entidad (en este caso, el caballo) como entrada y genera un hecho semántico (es decir, la proposición expresada por "El caballo es rojo").