Aussagenlogik/Belegung/Wahrheitstabelle/Bemerkung

Den Wahrheitswert eines Ausdrucks ${}\alpha \in L^{V}$ unter der Interpretation ${}I^{\lambda }$ zu einer Belegung ${}\lambda$ kann man übersichtlich berechnen, wenn man abhängig von den Variablenwerten (für die in ${}\alpha$ auftretenden Variablen) sukzessive die Werte der konstituierenden Bestandteile von ${}\alpha$ berechnet. Um festzustellen, ob eine Tautologie vorliegt, legt man eine Wahrheitstabelle an, bei der die Zeilen durch die möglichen Kombinationen an ${}0,1$-Werten der einzelnen (in ${}\alpha$ vorkommenden) Variablen gegeben sind. Am übersichtlichsten wird die Tabelle, wenn man sich bei der Zeilenreihenfolge an das Dualsystem hält. Bei ${}n$ Variablen gibt es (neben der Kopfzeile) ${}2^{n}$ Zeilen.