1302
правки
Изменения
м
<tex>y<
→Аксиомы: я случайно
Чтобы получить список аксиом для исчисления предикатов, возьмем все схемы аксиом исчисления высказываний и дополним их следующими двумя схемами.
Здесь <tex>x</tex> {{---}} переменная, <tex>\psi</tex> {{---}} некоторая формула, <tex>y</tex> {{---}} некоторая переменная.
Запись <tex>\psi[x := y]</tex> будет означать результат подстановки <tex>y</tex> в <tex>\psi</tex> вместо всех свободных вхождений <tex>x</tex>. Пусть<tex>y</tex> свободно для подстановки вместо <tex>x</tex>.
(11) <tex>\forall{x}(\psi) \rightarrow (\psi[x := \alpha]) </tex>
Все аксиомы, порожденные данными схемами в новом языке, мы назовем аксиомами исчисления
предикатов.
=== Правила вывода ===
