Математическое мышление | 7.2: Написание доказательства через противопоставление: ab = 0 и законы...

Полный курс — бесплатные упражнения, конспекты и обратная связь от ИИ: https://ludium.ai/courses/mathematical-reasoning Если a и b — ненулевые действительные числа, то ab не равно нулю. Прямое доказательство практически не имеет вычислительных ресурсов, но правильное логически эквивалентное утверждение превращает его в аргумент из четырех строк. В этом видео представлены два доказательства от противного, как их следует записывать. Основные понятия, рассмотренные в видео: Повторение: прямое доказательство предполагает P и выводит Q Доказательство от противного: предполагает не Q и выводит не P Правило: объявляйте, что вы доказываете утверждение от противного Правило: четко указывайте статус каждого утверждения Доказательство: если n в квадрате четное, то n четное Законы Де Моргана: отрицание конъюнкции дает «или», а не «и» Переписывание X подразумевает (Y или Z) как (X и не Y) подразумевает Z Доказательство: если ab = 0 и a не равно нулю, то b = 0 ━━━━━━━━━━━━━━━━━━━━━━━━ ИСТОЧНИКИ МАТЕРИАЛОВ Источники для этого видео взяты из https://scholarworks.gvsu.edu/books/28/ Атрибуция: Адаптировано (с озвучкой и анимацией) из книги «Математическое рассуждение: письмо и доказательство» (издание PreTeXt, основанное на версии 3) Теда Сандстрома, Университет штата Гранд-Вэлли (https://scholarworks.gvsu.edu/books/28/), лицензия CC BY-NC-SA 3.0 (https://creativecommons.org/licenses/by-nc-sa/3.0/). Были внесены изменения: текст был переписан для озвучки, а задания были выполнены. Данная адаптация распространяется под той же лицензией. Лицензия: Данное видео лицензировано Ludium под CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/).