131 828
редакции
м (излишен празен ред; козметични промени) |
Vodnokon4e (беседа | приноси) Редакция без резюме |
||
{{без източници}}
'''Теоремата''' е доказано логическо твърдение. Доказването на теореми е основна част от [[математика]]та. Понятието
Една теорема има две части – списък с предположения и заключение, което може да бъде логически изведено от предположенията. За да се счита едно твърдение за теорема, е нужно то да има доказателство. Самото доказателство не се счита за част от теоремата.
В математиката освен
* '''''[[лема]]''''': това твърдение е част от доказателството на по-голяма теорема. Разликата между
* '''''следствие''''': твърдение, което следва почти без доказателство от друго вече доказано твърдение. Твърдението ''B'' е следствие на твърдението ''A'', ако ''B'' може лесно и бързо да се изведе от ''A''.
* '''''забележка''''': твърдение, което се доказва изключително лесно. Може да представлява интересен резултат или да се използва за доказателството на друго твърдение. Забележките, за разлика от следствията обикновено се представят без доказателство, защото то се смята за очевидно.
|