Сформулируйте понятие «Выполнимые формулы»
- это особый класс формул исчисления преди¬катов, которые принимают значение “истина” в некоторой области, т.е. не для всех интерпретаций входящих в нее предметных постоянных, функциональных и предикатных символов
- это особый класс формул исчисления преди¬катов, которые принимают значение “ложь” в некоторой области, т.е. не для всех интерпретаций входящих в нее предметных постоянных, функциональных и предикатных символов
Для просмотра статистики ответов нужно
залогиниться.