[Лекторий ФПМИ] Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода

🎯 Загружено автоматически через бота: 🚫 Оригинал видео: 📺 Данное видео является собственностью канала Лекторий ФПМИ. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @lectory_fpmi. ✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его. 📃 Оригинальное описание: 00:00:00 - Теорема о корректности исчисления высказываний 00:08:15 - Пример вывода 00:15:14 - Лемма о дедукции выводимость из множества формул 00:34:15 - Силлогизм 00:39:07 - Правило сечения 00:48:08 - Правило разбора случаев 00:55:10 - Правило рассуждения от противного 01:00:03 - Правило вывода из противоречия 01:03:02 - Правило контрапозиции 01:09:24 - Закон де Моргана Дата лекции: Лектор: Степанов Илья Даниилович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист: