Dowód nie wprost: Różnice pomiędzy wersjami

'''Dowód nie wprost''' (''dowód apagogiczny'', ''dowód sokratejski'', [[łacina|łac.]] ''reductio ad absurdum'' - '' sprowadzenie do sprzeczności''), to forma [[Dowodzenie (logika)|dowodu logicznego]], w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym (założenie nieprawdziwości twierdzenia prowadzi do sprzeczności), co pozwala przyjąć, że zaprzeczenie tezy jest fałszywe, a sama teza prawdziwa. Inaczej sposób [[Dowodzenie (logika)|dowodzenia]] [[twierdzenie|twierdzeń]] przez wykazanie sprzeczności między '''zaprzeczeniem dowodzonej tezy''' a '''przyjętymi założeniami'''.