[греч. lemma – польза; предположение] – каждое следствие условно-разделительного силлогизма; вспомогательная теорема, применяемая в ходе логических умозаключений в целях обоснования истинности другой теоремы.
Рассмотрим убывающую последовательность событий $A_n=(X
Лемма 1: Дана убывающая последовательность вложенных...
subseteq A_2\subseteq A_1$ удовлетворяющая условиям $A={\cap A}_n$ и $\mu \left(A_n\right)
Используя лемму...
Поэтому, по лемме 1, получим
\[1-{\mathop{lim}_{x\to +\infty } F(n)\ }={\mathop{lim}_{x\to \infty } P...
По лемме 1, получаем:
\[F\left(x_0\right)-F\left(x_0-\frac{1}{n}\right)=P\left(x_0-\frac{1}{n}\le X\le
В настоящей заметке обобщается известная лемма Урысона (1) на случай любого конечного числа и счетного множества замкнутых множеств нормального пространства и тем самым выясняется структура непрерывных функций (функций Урысона), заданных и постоянных на замкнутых множествах нормального пространства.
Для того, чтобы ввести понятие координат вектора сначала введем и докажем следующие лемму и теорему....
Лемма 1: Если векторы $\overrightarrow{a}$ и $\overrightarrow{b}$ коллинеарны, и вектор $\overrightarrow...
Лемма доказана....
По лемме 1, будем иметь
\[\overrightarrow{c}=n\overrightarrow{b}\] Значит, если число $m=0$, то получим...
overrightarrow{OD}||\overrightarrow{a}$ и $\overrightarrow{DC}||\overrightarrow{b}$, следовательно, по лемме
В статье приводится пример, показывающий, что лемма Вольфа, имеющая широкое применение в комплексном анализе, не может быть усилена.I
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.
[лат. argumentum – логический довод, основание доказательства] – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории).
суждения, посредством которых обосновывается истинность к.-л. другого суждения.
