Formal ist eine solche Bewertung – Interpretation genannt und oft mit dem Kleinbuchstaben v bezeichnet – eine Funktion im mathematischen Sinn, d. h. eine Abbildung von der Menge der Atome in die Menge der Wahrheitswerte.
fˈɔɾmɑːl ɪst ˌaɪnə zˈɔlçə bəvˈɛɾtʊŋ ˌɪntɜpɾˌeːtatsjˈoːn ɡənˈant ʊnt ˈɔft mɪt deːm klˈaɪnbuːxʃtˌɑːbən fˈaʊ bətsˈaɪçnət ˌaɪnə fʊŋktsjˈoːn ɪm mˌateːmˈɑːtɪʃən zˈɪn, dˈeː. hˈɑː. ˌaɪnə ˈapbˌɪldʊŋ fɔn dɛɾ mˈɛŋə dɛɾ atˈoːmə ɪn diː mˈɛŋə dɛɾ vˈɑːɾhaɪtsvˌeːɾtə.