Эквивалентность высказываний | Нормальные формы | Математическая логика | Математика для информат...

В этом видео рассматриваются различные логические эквивалентности, включающие основные логические операции, условные и двуусловные утверждения. Также обсуждаются пропозициональные нормальные формы и концепция выполнимости. 00:00 Введение 00:10 Тавтология, противоречие и случайность 00:13 -тавтология 01:25 -противоречие 02:09 -случайность 03:34 Логическая эквивалентность 05:19 Как определить, эквивалентны ли два составных утверждения? 06:15 Законы, включающие логические операции «и», «или», «не» 14:59 Законы, включающие условные утверждения 20:50 Утверждения, включающие бикондициональные утверждения 24:21 Утверждения в нормальной форме 28:14 Выполнимость 31:25 Практические задачи 31:28 1. Используйте таблицу истинности для проверки законов Де Моргана 34:13 2. Используйте законы Де Моргана для нахождения отрицания утверждений 36:45 3. Покажите, что условное утверждение является тавтологией, используя таблицу истинности и применяя цепочку логических тождеств 40:39 4.a. Покажите, что логические выражения логически эквивалентны (3 переменные) 45:22 4.b. Покажите, что логические выражения не являются логически эквивалентными (4 переменные) 49:03 5. Найдите двойственное к составным утверждениям 50:38 6. Найдите составное утверждение, логически эквивалентное выражению импликации, используя только логический оператор стрелки Пирса 55:30 7. Найдите эквивалентную спецификацию, которая включает дизъюнкции и отрицания, но не условные операторы 59:57 8. Определите, являются ли составные утверждения выполнимыми Плейлист по математической логике: https://www.youtube.com/playlist?list=PLQqPPVnzZIy530Gv2T_2gZjgW68JjTjkh Плейлист по математике для информатики: https://www.youtube.com/playlist?list=PLQqPPVnzZIy6qB_345OS7qzKyoJjj1urI CS Connect Плейлист: https://www.youtube.com/playlist?list=PLQqPPVnzZIy5BmFckmCIEAysYf0zDwQiB Файл CS Connect: https://docs.google.com/presentation/d/e/2PACX-1vToDoGrjlp8KcxOtP1HT5wJ0ciZrIakYbfSL_jqzRN5-3DaRtDA6LsRYxz_a9Hct7CzgnHcE3CIalt2/pub