Проверки индукцией: Обобщенные правила де Моргана и распределения РЕЗЮМЕВ этом занятии рассматривается тема проверок индукцией в математике и пропозициональной логике. Объясняются два типа проверок: внутренние или дедуктивные проверки, основанные на правилах логики, и внешние или метаматематические проверки, которые необходимы для доказательства утверждений, касающихся самой логики. Вводится математическая индукция как метод...
Индукция по сложности формул РЕЗЮМЕНа этом занятии вы узнаете о разновидности математической индукции, известной как "индукция по сложности выражений", которая очень полезна для доказательства свойств в пропозициональной логике. На простом примере — теореме подстановки — вы увидите, как применяется эта техника и как можно доказать, что определенное свойство выполняется для...
Нормальные формы и их свойства РЕЗЮМЕПропозициональная логика — это фундаментальный инструмент в математике и информатике. На этом занятии будет представлен интересный и полезный результат, связанный с нормальными формами. Для этого будут даны определения литерала, конъюнктивной нормальной формы (КНФ) и дизъюнктивной нормальной формы (ДНФ). Также будет доказана теорема о нормальных формах,...
Алгоритм нормальной формы и приложения РЕЗЮМЕВ этом уроке мы рассмотрим алгоритм ДНФ/КНФ, который позволит нам найти эквивалентное выражение в конъюнктивной или дизъюнктивной нормальной форме для любого выражения в пропозиционной логике. Мы начнем с объяснения трех шагов, составляющих этот алгоритм, которые включают устранение импликаций и двойных импликаций, устранение двойных отрицаний и...
