Ausgeschlossenes Drittes
Satz vom a.n D.n, auch tertium non datur, zählt neben dem Satz von der Identität, dem Satz vom ausgeschlossenen Widerspruch und dem Satz der Kontravalenz zu den elementaren Gesetzen der Logik. Er besagt, dass wenigstens einer von zwei gegensätzlichen Sachverhalten besteht – in der logischen Symbolsprache: A v non-A. Der Wahrheitswerttabelle entsprechend ergibt sich für A v non-A, dass dieser Satz immer wahr ist, unabhängig davon, welchen Wahrheitswert A hat, d.h. »A v non-A« ist aussagenlogisch wahr.
PP