Искусственный интеллект

-1 свободен (В) Z3 освободить_и_переместить (В, Стол), освободить_и_переместить (В, Стол) => на (В, Стол), i то формулу на (В, Стол), несмотря на то, что она выводима с использованием обычного правила модус поненс, нельзя вывести с помощью обобщенного правила модус поненс, поскольку формулу -, свободен (В) => освободить_и_переместить (В, Стол) невозможно преобразовать в хорновскую формулу. Таким образом, существуют исчисления, для которых не все общезначимые формулы можно вывести с помощью только обобщенного правила модус поненс. Перейдем к ответу на остальные вопросы. 4.3. Полнота и непротиворечивость исчисления