Подведение итогов (выделение основных идей, теоретических фактов, положенных в основу доказательства). Этап первичного закрепления

Формулы.

Теоремы.

1. (Vx Е М)(А (х) ^ В_х(х) V В,(х))

А. «Если диагонали четырехугольника пересекаются и точкой пересечения делятся пополам, то этот четырехугольник — параллелограмм». В символьной записи теоремы М — множество четырехугольников, Л, (.г): «в четырехугольнике л: диагонали пересекаются», А₂(х): «в четырехугольнике х диагонали точкой пересечения делятся пополам» и В (х): «четырехугольник х — параллелограмм».

2. (Vx е М)(А_х(х) д А₂(х) => В (х))

Б. «Если запись натурального чиста оканчивается цифрами 0 или 5, то эго число делится без остатка на 5». В символьной записи теоремы М — множество натуральных чисел, А_х(х): «запись натурального числа х оканчивается цифрой 0», А₂(х) «запись натурального числа х оканчивается цифрой 5» и В (х): «натуральное число х без остатка делится на 5».

3. (Vx е М)(А_х(х) v А,(х) => В (х))

В. «В ромбе диагонали перпендикулярны друг другу и делят углы ромба при вершинах пополам». В символьной записи теоремы М — множество четырехугольников, А (х:): «четырехугольник х — ромб», В_х(х): «в четырехугольнике х диагонали перпендикулярны» и В.,(х): «в четырехугольнике х диагонали делят углы при вершинах пополам».