Fungsi proposisional inggih punika basa sané ngambil entitas (ritepengan puniki, jaran) pinaka nganjingang miwah ngamedalang kasujatian semantik (inggih punika, proposisi sané kautus olih jaran sané mawarna barak).
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").