Formal gesprochen ist die Auswertungsfunktion eine Abbildung von der Menge der Formeln der Sprache in die Menge der Wahrheitswerte.
fˈɔɾmɑːl ɡəʃpɾˈɔxən ɪst diː ˈaʊsvˌɛɾtʊŋsfʊŋktsjˌoːn ˌaɪnə ˈapbˌɪldʊŋ fɔn dɛɾ mˈɛŋə dɛɾ fˈɔɾməln dɛɾ ʃpɾˈɑːxə ɪn diː mˈɛŋə dɛɾ vˈɑːɾhaɪtsvˌeːɾtə.