neizravni dokaz

polje: matematika

grana: matematička logika i računarstvo

projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi

dokaz određene tvrdnje kojim se dokazuje da pretpostavka njezine neistinitosti vodi do proturječja

dokaz određene tvrdnje kojim se dokazuje da pretpostavka njezine neistinitosti vodi do proturječja

Engleski:
proof by contradiction indirect proof

Rod: nema

Vrsta riječi: višerječni naziv

Dopušteni nazivi:
indirektni dokaz

Suprotnica: izravni dokaz