Наслідок (математика)

Наслідок у математиці — це твердження, яке може бути безпосередньо виведено з попередніх аксіом, теорем чи тверджень.

Значення

Наслідок — це твердження, що випливає як наслідок доказу іншої теореми і не потребує складного доведення[1]. Наслідком може бути теорема доведена для більш обмеженого часткового випадку. Наприклад, теорема, що стверджує, що всі кути прямокутника є прямими кутами, має наслідок, що всі кути квадрата (що є частковим випадком прямокутника) теж є прямими кутами.

Більш формально, твердження B є наслідком твердження A, якщо B можна легко вивести з A або воно самоочевидне з його доведення.

Див. також

Примітки

  1. Wentworth & Smith Art. 51
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya