„Indirekt bizonyítás” változatai közötti eltérés

{{lektor}} A [[matematika|matematikában]] és a [[logika|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.