Darum nämlich, den Ausdrücken einer formalen Sprache – zum Beispiel der hier behandelten Sprache der Aussagenlogik – eine Bedeutung zuzuordnen.
dɑːrˈʊm nˈɛːmlɪç, deːn ˈaʊsdɾˌykən ˌaɪnɜ fˈɔɾmɑːlən ʃpɾˈɑːxə tsʊm bˈaɪʃpiːl dɛɾ hˈiːɾ bəhˈandəltən ʃpɾˈɑːxə dɛɾ ˈaʊszˌɑːɡənlˌoːɡɪk ˌaɪnə bədˈɔøtʊŋ tsuːtsˈuːɔɾdnən.