Истинностное значение (логическое значение)
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
множество, состоящее из двух различных точек (концов) и всех точек, лежащих между ними; расстояние между концами называется длиной отрезка
Теорема 1
Отрезок, при движении, переходит в равный ему отрезок....
Построить его симметрию относительно прямой $l$, не пересекающий данный отрезок и относительно точки...
отрезок $A'B'$....
прямой $l$....
ему отрезок $A''B''$.
Отрезок
Пусть нам дана произвольная прямая и две точки, принадлежащие ей....
Итак, для сравнения выбранных нами отрезков (обозначим их отрезок 1 и отрезок 2) наложим конец отрезка...
Измерить отрезок означает найти его длину....
Для его измерения возьмем за эталон отрезок $[AB]$. Будем откладывать его на отрезок $[CM]$....
Если при одном и том же выборе единицы длины отрезок $1$ и отрезок $2$ будут иметь одинаковую длину,
Автор дает полную классификацию множеств точек, равноудаленных от двух окружностей на плоскости.
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
символ, обозначающий мощность множества; в случае конечного множества натуральное число: число элементов в множестве
знакочередующийся ряд 1 + 1/3 + 1/5 + 1/7 +…, сходящийся к π/4