Логика и метаматематические исследования

Одна из основных причин изучения совершенных дизъюнктивной и совершенной конъюнктивной нормальной форм формул - возможность по внешнему виду формулы решить вопрос, является ли она тождественно истинной или нет. Формула, совершенная дизъюнктивная нормальная форма которой содержит 2 в степени n (где n - количество различных собственных пропозициональных букв данной формулы) элементарных конъюнкций, является тождественно истинной. Таким образом, сведение формулы, выражающей форму умозаключения к совершенной дизъюнктивной нормальной форме, является методом алгебры высказываний, который может быть использован для определения правильности рассуждений.

👍6⚡4❤4🖕2✍1😁1

www.tgoop.com/logic_metamathematics/938

651 viewsMar 21 at 05:20

Одна из основных причин изучения совершенных дизъюнктивной и совершенной конъюнктивной нормальной форм формул - возможность по внешнему виду формулы решить вопрос, является ли она тождественно истинной или нет. Формула, совершенная дизъюнктивная нормальная форма которой содержит 2 в степени n (где n - количество различных собственных пропозициональных букв данной формулы) элементарных конъюнкций, является тождественно истинной. Таким образом, сведение формулы, выражающей форму умозаключения к совершенной дизъюнктивной нормальной форме, является методом алгебры высказываний, который может быть использован для определения правильности рассуждений.

BY Логика и метаматематические исследования