Die klassische Aussagenlogik ist jenes Gebiet der klassischen Logik, das die innere Struktur von Sätzen (Aussagen) daraufhin untersucht, aus welchen anderen Sätzen (Teilsätzen) sie zusammengesetzt sind und wie diese Teilsätze miteinander verknüpft sind.
diː klˈasɪʃə ˈaʊszˌɑːɡənlˌoːɡɪk ɪst jˈeːnəs ɡəbˈiːt dɛɾ klˈasɪʃən lˈoːɡɪk, das diː ˈɪnərə ʃtɾʊktˈuːɾ fɔn zˈɛtsən ˈaʊszˌɑːɡən dɑːrˈaʊfhˌɪn ˌʊntɜzˈuːxt, ˌaʊs vˈɛlçən ˈandərən zˈɛtsən tˈaɪlzɛtsən ziː tsuːzˈamənɡəzˌɛtst zɪnt ʊnt viː dˌiːzə tˈaɪlzɛtsə mˈɪtˌaɪnandɜ fɛɾknˈypft zɪnt.