Наслідок (математика)
(Перенаправлено з Наслідок теореми)
Наслідок у математиці — це твердження, яке може бути безпосередньо виведено з попередніх аксіом, теорем чи тверджень.
Значення[ред. | ред. код]
Наслідок — це твердження, що випливає як наслідок доказу іншої теореми і не потребує складного доведення[1]. Наслідком може бути теорема доведена для більш обмеженого часткового випадку. Наприклад, теорема, що стверджує, що всі кути прямокутника є прямими кутами, має наслідок, що всі кути квадрата (що є частковим випадком прямокутника) теж є прямими кутами.
Більш формально, твердження B є наслідком твердження A, якщо B можна легко вивести з A або воно самоочевидне з його доведення.
Див. також[ред. | ред. код]
Примітки[ред. | ред. код]
- ↑ Wentworth & Smith Art. 51
Ця стаття не містить посилань на джерела. (лютий 2024) |
В іншому мовному розділі є повніша стаття Corollary(англ.). Ви можете допомогти, розширивши поточну статтю за допомогою перекладу з англійської. (лютий 2024)
|
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |