Redakcija: 00:10, 9. marec 2013 uredi Addbot (pogovor \| prispevki) Boti 130.396 urejanj m Bot: Migracija 68 interwikija/-ev, od zdaj gostuje(-jo) na Wikipodatkih, na d:q11538 ← Starejše urejanje		Redakcija: 13:45, 8. januar 2014 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m →‎Tehnike dokazovanja Novejše urejanje →
Vrstica 15: * ''[[matematična indukcija\|dokaz z indukcijo]]'', kjer se dokaže ''bazni primer'', in ''indukcijski korak'', s katerim dokažemo, da iz prejšnjega primera sledijo vsi naslednji (pogosto jih je [[neskončnost\|neskončno]]); * ''[[dokaz s protislovjem]]'', kjer dokažemo, da iz privzete neresničnosti izjave po logičnem sklepu pridemo do [[protislovje\|protislovja]], zato mora biti izjava pravilna; ** ''[[dokaz z neskončnim spustom]]'' * ''[[konstruktivni dokaz]]'', kjer konstruiramo konkreten primer z ~~lastnostjo~~značilnostjo, ki dokazuje, da obstaja nekaj, ki ima to ~~lastnost~~značilnost; * ''[[metoda surove sile\|dokaz s surovo silo]]'', kjer sklep dobimo tako, da ga razdelimo na končno množico posameznih primerov in dokažemo vsakega posebej. Vrstica 22 ⟶ 23: ''[[Kombinatorični dokaz]]'' vzpostavi enakost različnih izrazov tako, da pokaže, da se na različne načine štejejo isti objekti. Navadno se za prikaz tega uporablja kakšna [[bijektivna preslikava]]. Če želimo dokazati, denimo, da »~~lastnost~~značilnost f(X) velja za nekatere X«, potem z ''[[nekonstruktivnost\|nekonstruktivnim]]'' dokazom dokažemo, da res obstaja X, za katerega velja f(X), vendar '''ne''' pojasni, kako lahko takšen X zares dobimo. ''Konstruktivni'' dokaz nam pojasni tudi to. Izjava, za katero domnevamo, da je resnična, vendar še ni bila dokazana, se imenuje ''[[domneva]]''.

Matematični dokaz: Razlika med redakcijama