indirekt bizonyítás
Magyar
Kiejtés
- IPA: [ ˈindirɛɡdbizoɲiːtaːʃ]
Főnév
- (matematika) A matematikában és a logikában indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyben feltesszük a bizonyítani kívánt állítás tagadását, majd ebből szabályos logikai lépések útján ellentmondásra jutunk valamilyen ismert ténnyel. Ez a bizonyítástípus alkalmazása az általánosabb reductio ad absurdum gondolatmenetnek.