Доказот и докажувањето се едни од најосновните поставки во математиката.
Интуитивно, доказот е начин на кој може да се покаже (или пак негира!) вистинитоста (точноста) на одредено тврдење. Строго, пак, математички, доказот претставува постапка со помош на која во конечен број чекори се утврдува точноста на некое тврдење. Значи ако точноста на некое тврдење може да се утврди со помош на постапка со бесконечен број чекори, тогаш оваа постапка не се смета за математички доказ.
Доказот е нужен, неизбежен, составен дел на секое математичко тврдење (како што се: теоремите и лемите), со исклучок на аксиомите.
Постојат повеќе методи (начини, принципи, модели) за утврдување на точноста на некое тврдење, т.е. докажување. Теоретската разработка на овие методи спаѓа во доменот на математичката логика.
Најосновен и многу чест начин на докажување е директното докажување. При директно докажување се поаѓа од тврдење чијашто точност е позната, па по конечен број чекори (извршени операции) се утврдува точноста на тврдењето чијашто точност се утврдува. Нека ни е позната точноста на тврдењето p, а поаѓајќи од него треба да ја утврдиме точноста на тврдењето q. Логички овој метод се именува како p повлекува (имплицира) q, со ознака p⇒q. Понекогаш е многу полесно да се појде од спротивната претпоставка на тврдењето q, па да се стигне до спротивната претпоставка на p. Логички овој метод се именува како не-p повлекува (имплицира) не-q, со ознака ¬p⇒¬q, а се нарекува метод на контрапозиција. Значи директното докажување и контрапозицијата се заемно еквивалентни: (p⇒q)⇔(¬q⇒¬p). Сите методи на докажување се помалку или повеќе познати логички закони (логички импликации или еквиваленции). Такви се на пример:
и слични на нив.
Освен директниот доказ, сите останати докази се индиректни. Во посложени ситуации доказот може да има облик на продолжена импликација: p1⇒p2⇒...⇒pn-1⇒pn, или пак на продолжена еквиваленција: p1⇔p2⇔...⇔pn-1⇔pn.
Треба да се има предвид дека буквите во наведените логички искази не се означени само елементарни искази, туку и сложени искази, формули итн.
This article uses material from the Wikipedia Македонски article Математички доказ, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Содржината е достапна под CC BY-SA 4.0 освен ако не е поинаку наведено. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Македонски (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.