Matematički dokaz je logičko-matematički postupak kojim se s pomoću aksioma i ranije dokazanih teorema potvrđuje ili opovrgava neki iskaz ili teorem.
Zaključivanje je najčešće deduktivno ili induktivno.
1. Izravni dokaz.
2. Matematička indukcija
3. Kontradikcija
4. Kontrapozicija
Zove se tako jer ono što implicira i ono što je implicirano zamjenjuju mjesta u logičkom sudu.
Primjer:
Svaka od ovih tvrdnji implicira to da će subjekt "biti sretan".
Dakle, ako subjekt nije sretan, tada niti jedan od tri uvjeta ne može niti ispunjen - jer kada bi barem jedan bio ispunjen - subjekt bi bio sretan.
Drugi primjer je para-voda:
Ako ima pare, ima vode. (Primijetimo da obrat nužno ne vrijedi.)
Zaključujemo: ako nema vode, nema ni pare.
Očito je da vrijedi i obrat, odnosno iz tvrdnje ako nema vode, nema ni pare slijedi tvrdnja ako ima pare, ima vode. (Jer prva tvrdnja ristriktira postojanje pare samo u onom slučaju kada ima vode.)
Zato su te dvije tvrdnje ekvivalentne. Dodajmo još da se zato ova metoda često koristi pri praktičnoj provjeri tvrdnji koje su nužni uvjeti.
5. Konstrukcija
6. Vizualni dokaz.
7. Statistički dokaz
This article uses material from the Wikipedia Hrvatski article Matematički dokaz, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sadržaji se koriste u skladu s CC BY-SA 4.0 osim ako nije drukčije navedeno. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Hrvatski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.