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

'''Dowód nie wprost''' (dowód apagogiczny, dowód sokratejski, {{łac.|reductio ad absurdum}} – sprowadzenie do sprzeczności, łac. ''contradictio in contrarium'' - zaprzeczenie przeciwieństwa, [[gr.]] ''ἡ εις άτοπον απαγωγη'' hi eis atopon apagogi - sprowadzenie do niemożliwości) – 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'''.