Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
diː ˈaʊszˌɑːɡənlˌoːɡɪk ɪst aɪn tˈaɪlɡeːbˌiːt dɛɾ lˈoːɡɪk, das zɪç mɪt ˈaʊszˌɑːɡən ʊnt dˌeːrən fɛɾknˈypfʊŋ d??ç jʊŋktˈoːrən bəfˈast, ˈaʊsɡˌeːənt fɔn ʃtɾˈʊkt??lˌoːzən ˈeːleːmˌɛntarˌaʊsɑːɡən atˈoːmən, deːnən aɪn vˈɑːɾhaɪtsvˌeːɾt tsˈuːɡeːˌɔɾdnət vˌɪɾt.