Fungsi proposisi adalah operasi bahasa nang maambil entitas (di contoh sini, kkuda) sabagai input lawan manjadiakan fakta semantik hasilnya (contohnya, proposisi nang disampaiakan dari "Kuda itu Merah").