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

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

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

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

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

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

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

Најосновен и многу чест начин на докажување е директното докажување. При директно докажување се поаѓа од тврдење чијашто точност е позната, па по конечен број чекори (извршени операции) се утврдува точноста на тврдењето чијашто точност се утврдува. Нека ни е позната точноста на тврдењето 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 Македонски:

Жолто МореСтража (превој)Македонски Албанци24 априлСкратеници во македонскиот јазикФилиз АхметМасакр во СребреницаСписок на реки во МакедонијаДиносаурусХемостазаБраќа МиладиновциМакедонијаТрансформаторБаба (планина)Министер за здравство на МакедонијаЕмил ДимитриевАреаПартија за движење на Турците во МакедонијаАртрозаРамазанЛегендиСоветски СојузЗаушкиЧовечки папиломен вирусВиножитоМочуриштеПроливМинато определено свршено време во македонскиот јазикНепалДојранВлада на МакедонијаЛазар МојсовРак на усна празнинаПартија на обединети пензионери и граѓани на МакедонијаРимМалиот принцМагнетна резонанцијаРасказЕгејска МакедонијаЕвропаФК МиланАфрикаГригор ПрличевГрцијаИсламСрпска странка во МакедонијаПадежШар ПланинаБујар ОсманиМариовоСписок на загинати бранители во воениот конфликт во Македонија, 2001ПаризМакедонска радио-телевизијаОливер СпасовскиГраѓанска опција за МакедонијаМакедонски претседателски избори (2014)Општина Ѓорче ПетровДубаиВелесСрцева слабостГрб на МакедонијаЕвропска УнијаАлесандро Дел ПјероДеменцијаПреспанско ЕзероХемороидМакедонски парламентарни избори, 2002ГрузијаКрвна групаМенингитисСветско првенство во ракомет за мажи 2025Општина Гази БабаАјфелова кулаХари КостовЛионел МесиСтево ПендаровскиЛазар КолишевскиХепатит🡆 More