Ответ: В качестве допущения принимается предложение «функция y = f(x) – четная» Вопрос: Что «скрывается» за двойной чертой? Ответ: вспомогательное рассуждение (указано в фигурных скобках). Вопрос: Что является заключением данного рассуждения? Ответ: Если функция четная, то график этой функции симметричен относительно оси ординат. 2. Метод доказательства разбором случаев Пусть А и В – произвольные предложения и пусть в распоряжении имеется предложение «А или В». Если требуется обосновать некоторое предложение С, то проводят два вспомогательных рассуждения. В первом требуется исходя из допущения А доказать предложение С (первый случай), во втором – исходя из допущения В доказать предложение С (второй случай). В первом случае говорят: «Допустим А и докажем С» Во втором случае говорят «Допустим В и докажем С» После проведения вспомогательных рассуждений можно утверждать, что утверждение С обосновано. Схема доказательства разбором случаев может быть записана следующим образом: Схема доказательства разбором случаев может быть записана следующим образом: Предложение С является непосредственным следствием предложения А∨В и двух вспомогательных утверждений и . Вопрос: Является ли схема схемой доказательства разбором случаев? Ответ: нет, так как не разобран третий случай. Постройте схему рассуждений разбором случаев в ситуации, когда возможны три случая. Ответ: Рекомендация, связанная с методом доказательства разбором случаев Если в распоряжении имеется предложение А∨В, согласно схеме доказательства разбором случаев для доказательства некоторого предложения С достаточно, сначала, взяв в качестве допущения А, вывести из него предложение С, а затем, взяв в качестве допущения В, вывести из него предложение то же самое С.
Достарыңызбен бөлісу: |
