Die Aussagenlogik ist Teil der formalen Logik und befasst sich mit der Verknüpfung von Aussagen durch sogenannte Junktoren [lateinisch iungere »verbinden«, »verknüpfen«]. Zu diesen logischen Verknüpfungen gehören u. a. die Negation (»nicht«), die Konjunktion (»und«) und die Adjunktion (»oder«). Mithilfe einer Wahrheitstafel werden Teilsätze verknüpft. Für jede Verknüpfung gibt es