Математическо доказателство: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Disambiguated: определение → Определение (математика), Пап → Пап Александрийски |
Fixed typo Етикети: Редакция чрез мобилно устройство Редакция чрез мобилно приложение |
||
Ред 1:
'''Математическо доказателство''' е убедителното демонстриране, че дадено [[Математика|математическо]] твърдение е вярно по необходимост. В математиката доказателствата се получават чрез [[Дедукция|дедуктивни разсъждения]], а не чрез [[логическа индукция]] или по [[Емпирия|емпиричен път]], както в природните науки. При тях се използва [[логика]], но обикновено тя не е формализирана и включва изрази от [[Език (лингвистика)|естествения език]], който позволява известна двусмисленост. Чисто [[Формално доказателство|формалните доказателства]], изписани на изцяло символичен език, са предмет на [[Теория на доказателствата|теорията на доказателствата]].
Доказаните твърдения се наричат [[Теорема|теореми]] в математиката, като се приема, че доказателството е изнамерено от някого, някой пръв е извършил доказването. Когато нито утвърждаващото, нито отричащото твърдение все още не са доказани, такова твърдение се нарича [[хипотеза]]. Когато в процеса на доказването на теорема се отделят помощни за тях твърдения, по-малко сложни от теоремата, те се наричат [[Лема|леми]].
== Основни елементи на всяко доказателство ==
* Тезис – съждение, което се доказва.
| |||