Математички Доказ

Доказот и докажувањето се едни од најосновните поставки во математиката.

Интуитивно, доказот е начин на кој може да се покаже (или пак негира!) вистинитоста (точноста) на одредено тврдење. Строго, пак, математички, доказот претставува постапка со помош на која во конечен број чекори се утврдува точноста на некое тврдење. Значи ако точноста на некое тврдење може да се утврди со помош на постапка со бесконечен број чекори, тогаш оваа постапка не се смета за математички доказ.

Математички Доказ
Најстариот зачуван фрагмент од „Елементи“ на Евклид.

Доказот е нужен, неизбежен, составен дел на секое математичко тврдење (како што се: теоремите и лемите), со исклучок на аксиомите.

Методи на докажување

Постојат повеќе методи (начини, принципи, модели) за утврдување на точноста на некое тврдење, т.е. докажување. Теоретската разработка на овие методи спаѓа во доменот на математичката логика.

Најосновен и многу чест начин на докажување е директното докажување. При директно докажување се поаѓа од тврдење чијашто точност е позната, па по конечен број чекори (извршени операции) се утврдува точноста на тврдењето чијашто точност се утврдува. Нека ни е позната точноста на тврдењето p, а поаѓајќи од него треба да ја утврдиме точноста на тврдењето q. Логички овој метод се именува како p повлекува (имплицира) q, со ознака p⇒q. Понекогаш е многу полесно да се појде од спротивната претпоставка на тврдењето q, па да се стигне до спротивната претпоставка на p. Логички овој метод се именува како не-p повлекува (имплицира) не-q, со ознака ¬p⇒¬q, а се нарекува метод на контрапозиција. Значи директното докажување и контрапозицијата се заемно еквивалентни: (p⇒q)⇔(¬q⇒¬p). Сите методи на докажување се помалку или повеќе познати логички закони (логички импликации или еквиваленции). Такви се на пример:

  • Закон на хипотетички силогизам: (p⇒q)∧(q⇒r)⇒(p⇒r);
  • Закон за одвојување (modus ponens): [p∧(p⇒q)]⇒q;
  • Закон за сведување на противречност (reductio ad absurdum): [p⇒(q∧¬q)]⇒¬p;

и слични на нив.

Освен директниот доказ, сите останати докази се индиректни. Во посложени ситуации доказот може да има облик на продолжена импликација: p1⇒p2⇒...⇒pn-1⇒pn, или пак на продолжена еквиваленција: p1⇔p2⇔...⇔pn-1⇔pn.

Треба да се има предвид дека буквите во наведените логички искази не се означени само елементарни искази, туку и сложени искази, формули итн.

Наводи

Надворешни врски

Математички Доказ 
Викицитат има збирка цитати поврзани со:

Tags:

ВистинитостМатематика

🔥 Trending searches on Wiki Македонски:

ЛибанАутизамДимитар ДимитровМихајло АпостолскиЛила СтојановскаДишен системЈапонијаБелградДонтов методИзборна единица 7АрхимедВодолија (хороскопски знак)Закон за запазување на масатаСоцијалистичка Република МакедонијаПреспанско ЕзероСписок на градови во МакедонијаБранко ЌопиќХипотироидизамОпштина КумановоОхридско ЕзероМалавиМитИзборна единица 6TrackBackИлузијаРеченицаИлијадаЛидија ДимковскаМоликаНикола ГруевскиЖабаСтудена војнаПапарацоМетодија Андонов-ЧентоЕвропска УнијаЖелезоСебороичен дерматитЛазар ЛиченоскиТрапезМерилендСобрание на МакедонијаДропкаФидијаИндијаИзбори во МакедонијаКрушевска РепубликаЈосиф СталинБик (хороскопски знак)Топографска картаГлобусЕкосистемПрограмирањеИзборна единица 3Хороскопски знациГлобално затоплувањеГоце ДелчевЗатемнување на МесечинатаМаса (физика)Отоманска МакедонијаЉубе БошкоскиТом СоерСловенијаМултипла склерозаКумановоТрајче КрстескиБалканска приказна (ТВ-серија)МРСААртритисПолурамнинаРак на желудникВагинален исцедокОноре де БалзакДенес над МакедонијаВардарМенструален циклусКокичеМакедонска народна музикаРиби🡆 More