Pruvo per disputo

Tiu ĉi artikolo traktas pri pruvo per disputo kiel pri neformala pruvo en senco kutime uzata en matematiko, logiko kaj en kutima pripensado. Pri formala disputo kiel pri nocio de matematika logiko traktas artikolo Disputo (matematika logiko).

Pruvo per disputo (aŭ pruvo per negacio; latine reductio ad absurdum) estas tipo de logika pruvo, en kiu oni pruvos, ke supozo kondukas al sensenca rezulto (al logika disputo), kio signifas, ke la supozo estas malvera, kaj do validas ties logika neo. Ĉar la pruvo per disputo estas fondita en leĝo pri elimino de tria, eblas uzi ĝin sole en tiuj logikaj sistemoj, en kiuj tiu ĉi leĝo validas. La pruvon per disputo do ne eblas uzi ekz. en plurvaloraj logikoj aŭ en intuicionista logiko.