Вопросы к Поиску с Алисой
Разница между истинностью и выполнимостью формул в логике высказываний заключается в условиях, при которых формулы принимают истинное значение.
Истинность формулы в логике высказываний означает, что она принимает истинное значение при любых значениях входящих в неё пропозициональных переменных. dspace.kpfu.ru Такая формула называется тождественно истинной или тавтологией. kfilial.mggeu.ru
Выполнимость формулы означает, что она принимает истинное значение хотя бы при одном наборе значений входящих в неё пропозициональных переменных. dspace.kpfu.ru Выполнимая формула называется непротиворечивой, так как для неё существует интерпретация, при которой все формулы истинны. study.urfu.ru Если такой интерпретации нет, формула считается невыполнимой (противоречивой). study.urfu.ru
Таким образом, истинность связана с универсальным свойством формулы, а выполнимость — с конкретным набором значений переменных, при которых формула становится истинной.