Da in der heutigen Mathematik die klassische Aussagenlogik maßgeblich wurde, wird in diesem Artikel dieser moderne Haupttypus der Aussagenlogik behandelt.
dɑː ɪn dɛɾ hˈɔøtɪɡən mˌateːmˈɑtiːk diː klˈasɪʃə ˈaʊszˌɑːɡənlˌoːɡɪk mˈasɡeːplˌɪç vˌ??də, vˌɪɾt ɪn dˌiːzəm aɾtˈiːkəl dˌiːzɜ moːdˈɛɾnə hˈaʊpttˌyːpʊs dɛɾ ˈaʊszˌɑːɡənlˌoːɡɪk bəhˈandəlt.