In der klassischen Aussagenlogik bezeichnet man zwei Aussagen als dual zueinander, wenn die Wahrheitstabelle der einen Aussage in die Wahrheitstabelle der anderen Aussage übergeht, sofern man darin jedes Vorkommnis eines Wahrheitswertes durch den jeweils anderen Wahrheitswert ersetzt. Ersetzt man zum Beispiel in der Wahrheitswertetabelle der Konjunktion jedes Auftreten eines Wahrheitswerts durch den jeweils anderen Wahrheitswert, so erhält man, in veränderter Reihenfolge, die Wahrheitswertetabelle der Disjunktion. Dies zeigt die folgende Tabelle: Im Allgemeinen gibt es zu jeder zusammengesetzten Aussage mehr als eine duale Aussage; im obigen Beispiel liefert nicht nur den zu dualen Wahrheitswertverlauf, sondern etwa auch.

[Last contributor : Ulm , Content under LGPL license]