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


Вопрос: Предложения А и В могут совпадать?



бет6/17
Дата23.04.2024
өлшемі2.39 Mb.
#499579
1   2   3   4   5   6   7   8   9   ...   17
Методы док-ва Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е-ИЛ-Е

Вопрос: Предложения А и В могут совпадать?

Ответ: А и В могут совпадать. В этом случае вспомогательное рассуждение вырождается в одно предложение A. Пишем так , поскольку, А является допущением.

  •  

Рекомендация, связанная с методом доказательства приведением к нелепости

Для доказательства предложения , согласно схеме доказательства приведением к нелепости , достаточно,

взяв в качестве допущения А, вывести из него какое-нибудь противоречие В и В.

  •  

Задание 4.4.2 (3)

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

Не существует рационального числа, квадрат которого равен 2.

Для того, чтобы доказать, что не существует рационального числа, квадрат которого равен 2, согласно методу доказательства приведением к нелепости достаточно, взяв в качестве допущения, что существует рациональное число такое, что его квадрат равен двум, вывести из него утверждение «существуют такие два взаимно простых числа, квадрат которого равен 2» и «не существуют такие два взаимно простых числа, квадрат которого равен 2».

Задание 3. Пусть m, n – произвольные натуральные числа. Докажем утверждение «Неверно, что m и n взаимно простые и » методом приведения к нелепости.

Задание 3. Пусть m, n – произвольные натуральные числа. Докажем утверждение «Неверно, что m и n взаимно простые и » методом приведения к нелепости.

Что следует принять в качестве допущения?

Ответ: «m и n взаимно простые и »

Доказательство методом приведения к нелепости проводится по схеме .

Что следует взять в качестве предложения В?

Ответ: «числа m и n взаимно простые»

Получаем следующую схему рассуждений:

С помощью свойств делимости будет построено вспомогательное рассуждение .

  •  


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   17




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

    Басты бет