Что такое выполнимая формула. (Алгебра высказываний)
Что такое выполнимая формула. (Алгебра высказываний)
Гость
Ответ(ы) на вопрос:
ГостьВыполнимые формулы - это особый класс формул, которые принимают значения “истина” или “ложь” в зависимости от значений пропозициональных переменных.
ГостьФормула алгебры высказываний F(xi) называется выполнимой (опровержимой), если она хотя бы один раз принимает значение истины (лжи) при каком-либо наборе значений переменных хi, входящих в нее.
Не нашли ответ?
Похожие вопросы