Anh
resolution
Đức
Apagogischer Beweis
Widerspruchsbeweis
indirekter Beweis
Pháp
démonstration par l'absurde
méthode de résolution de Robinson
Widerspruchsbeweis,apagogischer Beweis,indirekter Beweis /IT-TECH/
[DE] Widerspruchsbeweis; apagogischer Beweis; indirekter Beweis
[EN] resolution
[FR] démonstration par l' absurde; méthode de résolution de Robinson
(lat. demonstratio apagogica), indirekter Beweis eines Satzes durch die Widerlegung seines kontradiktorischen Gegenteils. Nach dem Prinzip vom ausgeschlossenen Dritten (Bivalenz) ist ein Satz p genau dann wahr, wenn sein kontradiktorisches Gegenteil non-p falsch ist. Unter dieser Voraussetzung kann die Wahrheit von p durch den Aufweis der Falschheit von non-p indirekt bewiesen werden.
GMO