 A propositional function is an operation of language that takes an entity (in this case, the horse) as an input and outputs a "semantic fact" (i.e., the proposition that is represented by "The horse is red").In other words, a propositional function is like an algorithm.The meaning of "red" in this case is whatever takes the entity "the horse" and turns it into the statement, "The horse is red."