Wahrheitsfunktion (formale Logik)

eine Abbildung von einer Menge von Aussagen in eine Menge von Wahrheitswerten. In der Aussagenlogik hängt nach dem Extensionalitätsprinzip der Wahrheitswert einer Aussagenverknüpfung ausschließlich von den Wahrheitswerten ihrer Bestandteile ab. Folglich sind die Wahrheitsfunktionen, die in diesem Teilgebiet der Logik durch Junktoren wie die Negation (»nicht«), Konjunktion (»und«), Adjunktion beziehungsweise