Математички доказ: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с с |
с с |
||
Ред 6:
Постојат повеќе методи (начини, принципи, модели) за утврдување на точноста на некое тврдење, т.е. ''докажување''. Теоретската разработка на овие методи спаѓа во доменот на [[Математичка логика|математичката логика]].
Најосновен и многу чест начин на докажување е '''директното докажување'''. При директно докажување се поаѓа од тврдење чијашто точност е позната, па по конечен број чекори (извршени операции) се утврдува точноста на тврдењето чијашто точност се утврдува. Нека ни е позната точноста на тврдењето '''p''', а поаѓајќи од него треба да ја утврдиме точноста на тврдењето '''q'''. Логички овој метод се именува како '''p повлекува (имплицира) q''', со ознака '''p⇒q'''. Понекогаш е многу полесно да се појде од спротивната претпоставка на тврдењето '''q''', па да се стигне до спротивната претпоставка на '''p'''. Логички овој метод се именува како '''не-p повлекува (имплицира) не-q''', со ознака '''¬p⇒¬q''', а се нарекува '''метод на контрапозиција'''. Значи
Сите методи на докажување се помалку или повеќе познати логички закони (логички [[Импликација|импликации]] или [[Еквиваленција|еквиваленции]]). Такви се на пример:
Ред 19:
[[Категорија:Доказна теорија]]
[[Категорија:Докази| ]]
[[Категорија:Математика|Доказ]]
[[Категорија:Математичка логика|Доказ]]
|