Строение математических определений (часть 2)


Запишите первые предложения доказательства данного утверждения, которые определяются логическим строением этого утверждения



бет12/17
Дата23.04.2024
өлшемі2.39 Mb.
#499579
1   ...   9   10   11   12   13   14   15   16   17
Методы док-ва Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е

Запишите первые предложения доказательства данного утверждения, которые определяются логическим строением этого утверждения.

Задание 7. В распоряжении имеется предложение “Существует прямая, параллельная каждой из двух прямых m и n», а требуется доказать «Прямые m и n параллельны».

Задание 7. В распоряжении имеется предложение “Существует прямая, параллельная каждой из двух прямых m и n», а требуется доказать «Прямые m и n параллельны».

С каких слов начинается доказательство этого утверждения?

Пусть lпроизвольная прямая, параллельная каждой из прямых m и n. Докажем, что m и n параллельны. {Все предложения вспомогательного рассуждения опущены}. Значит, m и n параллельны.

Содержит ли доказываемое предложение свободные переменные?

Ответ: нет.

Вопрос: Что является допущением?

Ответ: «l – произвольная прямая, параллельная каждой из прямых m и n».

Пусть А – предложение «l – произвольная прямая, параллельная каждой из прямых m и n», С – предложение «Прямые m и n параллельны».

Постройте схему доказательства этого утверждения

  •  

Задание 8. В распоряжении имеется предложение «Существует такое действительное Т, что для любого х верно cos(x + T) = cosx». Докажем следующее утверждение «для любого значения а уравнения cos(x + 𝝅) = a и cos(x – 𝝅) = a имеют одинаковое множество решений».

Задание 8. В распоряжении имеется предложение «Существует такое действительное Т, что для любого х верно cos(x + T) = cosx». Докажем следующее утверждение «для любого значения а уравнения cos(x + 𝝅) = a и cos(x – 𝝅) = a имеют одинаковое множество решений».

Запишите символически доказываемое утверждение.



Достарыңызбен бөлісу:
1   ...   9   10   11   12   13   14   15   16   17




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет