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.