Historisch geht die Aussagenlogik zurück bis zu Aristoteles, der erstmals aussagenlogische Grundsätze diskutierte, nämlich in seiner Metaphysik den Satz vom Widerspruch und den Satz vom ausgeschlossenen Dritten, und der in seiner ersten Analytik den indirekten Beweis thematisierte.
hɪstˈoːrɪʃ ɡˈeːt diː ˈaʊszˌɑːɡənlˌoːɡɪk tsuːrˈyk bɪs tsuː ˈɑrɪstˌoːtələs, dɛɾ ˈeːɾstmɑːls ˈaʊszˌɑːɡənlˌoːɡɪʃə ɡɾˈʊndzɛtsə dˌɪskuːtˈiːɾtə, nˈɛːmlɪç ɪn zˌaɪnɜ mˌeːtɑːfyːzˈiːk deːn zˈats fɔm vˈiːdɜʃpɾˌʊx ʊnt deːn zˈats fɔm ˈaʊsɡəʃlˌɔsənən dɾˈɪtən, ʊnt dɛɾ ɪn zˌaɪnɜ ˈeːɾstən analˈyːtiːk deːn ˈɪndiːrˌɛktən bəvˈaɪs tˌeːmatiːzˈiːɾtə.