Hier sollen aussagenlogische Formeln als Worte über dem Alphabet der logischen Sprache, also über V ∪ J wie folgt induktiv definiert werden:
hˈiːɾ zˌɔlən ˈaʊszˌɑːɡənlˌoːɡɪʃə fˈɔɾməln als vˈɔɾtə ˌyːbɜ deːm ˌalfabˈeːt dɛɾ lˈoːɡɪʃən ʃpɾˈɑːxə, ˈalzoː ˌyːbɜ fˈaʊ jˈɔt viː fˈɔlkt ˌɪndʊktˈiːf dˌeːfiːnˈiːɾt vˌɛɾdən: