Что такое выполнимая формула. (Алгебра высказываний)
Answers & Comments
nutka03
Выполнимые формулы - это особый класс формул, которые принимаютзначения “истина” или “ложь” в зависимости от значений пропозициональныхпеременных.
chainletter
Формула алгебры высказываний F(xi) называется выполнимой (опровержимой), если она хотя бы один раз принимает значение истины (лжи) при каком-либо наборе значений переменных хi, входящих в нее.
Answers & Comments