[греч. lemma – польза; предположение] – каждое следствие условно-разделительного силлогизма; вспомогательная теорема, применяемая в ходе логических умозаключений в целях обоснования истинности другой теоремы.
В настоящей заметке обобщается известная лемма Урысона (1) на случай любого конечного числа и счетного множества замкнутых множеств нормального пространства и тем самым выясняется структура непрерывных функций (функций Урысона), заданных и постоянных на замкнутых множествах нормального пространства.
Для того, чтобы ввести понятие координат вектора сначала введем и докажем следующие лемму и теорему.... Лемма 1: Если векторы $\overrightarrow{a}$ и $\overrightarrow{b}$ коллинеарны, и вектор $\overrightarrow... Лемма доказана.... По лемме 1, будем иметь
\[\overrightarrow{c}=n\overrightarrow{b}\] Значит, если число $m=0$, то получим... overrightarrow{OD}||\overrightarrow{a}$ и $\overrightarrow{DC}||\overrightarrow{b}$, следовательно, по лемме
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.