1302
правки
Изменения
→Исчисление предикатов
Комментарии:
<!-- По-моему, в следующем абзаце бред. // Андрей Рыбак -->
"Не входит свободно" - это также важный вопрос.
оценки свободной переменной <tex>x</tex> то значение, на котором <tex>A(x)</tex> ложна.
Вывод из гипотез также вполне можно расширить на исчисление предикатов.
=== Итог ===
{{Определение
|definition=
Формальная система, составленная из указанного языка, множества аксиом и множестваправил вывода, называется '''исчислением предикатов'''.
}}
