Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
Zwei Aussagen der klassischen Aussagenlogik über der Aussagenvariablenmenge werden als dual zueinander bezeichnet, wenn für alle Belegungen der Aussagenvariablen mit Wahrheitswerten gilt .
| |||||||||||||||||||||||||||||||||||
Beispiel: Ersetzt man in der Wahrheitswertetabelle der Konjunktion in jeder Zeile alle drei Wahrheitswerte durch ihr Gegenteil, so erhält man die Wahrheitswertetabelle der Disjunktion. Siehe auch De Morgan’sche Gesetze. |
Für Aussagen in Negationsnormalform, das heißt für Aussagen, in denen als Junktoren nur Konjunktionen, Disjunktionen und Negationen vorkommen und in denen nur atomare Aussagen verneint werden, lässt sich eine einfache syntaktische Definition für Dualität angeben:
Da sich für jede Aussage eine Negationsnormalform bilden lässt, liefert diese Definition ein syntaktisches Verfahren, zu jeder Aussage eine duale Aussage zu bilden: Man bildet eine Negationsnormalform zu und ersetzt jedes darin vorkommende durch und umgekehrt.
Um zum Beispiel eine zu duale Aussage zu bilden, formt man sie zuerst in eine Negationsnormalform um, etwa in . Nach dem Ersetzen von durch und umgekehrt entsteht die Aussage , und diese ist dual zur ursprünglichen Aussage.
sei eine zusammengesetzte Aussage, die nur aus Konjunktionen, Disjunktionen und Negationen besteht (aber keine Negationsnormalform sein muss). Diejenige Verknüpfung , die dadurch entsteht, dass bei überall die Konjunktionen mit den Disjunktionen und umgekehrt vertauscht werden, ist dann dual zu .
Beispiel: ist dual zu
Wenn eine Aussage ist, so erhält man eine duale Verknüpfung , wenn alle Variablen und die gesamte Verknüpfung selbst negiert werden.
Beispiele: ist dual zu ; ist dual zu .
Wenn eine Aussage eine Tautologie ist, so ist die zu ihr duale Aussage eine Kontradiktion und umgekehrt.
Beispiel: ist eine Kontradiktion (immer falsch), also ist das duale eine Tautologie (immer wahr).
Eine Aussage impliziert genau dann eine Aussage , wenn eine (und damit jede) zu duale Aussage eine (und damit jede) zu duale Aussage impliziert.
Beispiel: genau dann, wenn dual gilt: .
Eine Aussage ist genau dann äquivalent zu einer Aussage , wenn eine (und damit jede) zu duale Aussage auch äquivalent zu einer (und damit jeder) zu dualen Aussage ist.
Beispiel: genau dann, wenn dual gilt: .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.