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