Wahrheitstabelle

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine tabellarische Methode, die alle möglichen Zuweisungen von Wahrheitswerten zu den in einer Formel (oder Formelmenge) vorkommenden aussagenlogischen Variablen aufführt und den resultierenden Wahrheitswert der Formel(n) in jeder Zuweisung verzeichnet.