logo
Лекції з матем - заоч

Видова відмінність

(мати рівні сторони)

= +

ромб

Схема № 2.1. Структура означення через найближчий рід та видову відмінність.

Другу групу складають твердження, які прийнято називати теоремами. Кожна теорема потребує доведення. Існують різні види теорем. Так, теореми існування доводяться для того, щоб показати, що певний математичний об’єкт існує. Теореми єдиності засвідчують однозначність того чи іншого математичного об’єкту, наприклад теореми про єдиність (однозначність) арифметичних операцій, без яких не можна було одержувати однакові результати цих операцій. Теореми, які називають ознаками, дають можливість відносити той чи інший об’єкт до певного класу або робити висновки, не виконуючи певних дій. Так, наприклад, говорять про ознаки паралельності прямих, про ознаки паралелограма, про ознаки подільності чисел тощо.