Интерпретации некоторых логически общезначимых формул
Проверка логической общезначимости формул логики предикатов
Cведение к противоречию.
Предполагаем, что существует такая интерпретация формулы Е, на которой она принимает ложное значение, т.е. |E*| = F, и пробуем найти такую интерпретацию.
Если в результате получаем противоречие, это означает, что таких интерпретаций не существует, и формула логически общезначима.
Если в результате не получаем противоречие, то формула не общезначима.
Проверка логической общезначимости формул логики предикатов
Проверка логической общезначимости формул логики предикатов
Метод аналитических таблиц
(только для формул с одноместными предикатами)
Проверка логической общезначимости формул логики предикатов
Проверка логической противоречивости формул логики предикатов
Логическое следование в логике предикатов
Говорят, что формула В логически следует из формулы A, если в любой интерпретации, в которой А принимает истинное значение, В также принимает истинное значение.
Обозначение: А ╞ В.
В общем случае формула В является логическим следствием множества формул Г, т.е. Г ╞ В , если она истинна на всех тех интерпретациях, на которых выполнены (истинны одновременно) все формулы из Г.
Логическое следование в логике предикатов
Доказательство логических следований
