Dualität (Logik)

Zwei Aussagen der klassischen Aussagenlogik werden als dual zueinander bezeichnet, wenn sie für jede Belegung der in ihnen vorkommenden atomaren Aussagen entgegengesetzte Wahrheitswerte aufweisen. Umgekehrt haben duale Aussagen genau dann denselben Wahrheitswert, wenn die in ihnen vorkommenden atomaren Aussagen mit entgegengesetzten Wahrheitswerten belegt werden.