Введение в правила вывода в логике высказываний — Дискретная математика

В этом видео Джитти знакомит с правилами вывода на основе утверждений, а некоторые моменты, касающиеся этих правил, подразумеваются в таблице уравнений. Он также объясняет, почему некоторые из этих правил работают. Видео с примерами решения задач по правилам вывода на основе утверждений:    • Proofs with the Rules of Inference for Pro...   Плейлист по дискретной математике:    • Discrete Math Videos   Временные метки: 0:00 Введение 0:20 Модус Поненса 2:18 Модус Толленса 5:08 Гипотетический силлогизм 6:09 Дизъюнктивный силлогизм 7:22 Сложение 9:09 Упрощение 11:51 Конъюнкция 13:18 Разрешение