1632
правки
Изменения
м
<tex>y<
rollbackEdits.php mass rollback
Чтобы получить список аксиом для исчисления предикатов, возьмем все схемы аксиом исчисления высказываний и дополним их следующими двумя схемами.
Здесь <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>
Все аксиомы, порожденные данными схемами в новом языке, мы назовем аксиомами исчисления
предикатов.
=== Правила вывода ===
функцию <tex>f_{P^k_n}: D^k \rightarrow V</tex>.
{{Определение |id=valid
|definition=
Формула в исчислении предикатов общезначима, если она истинна на любом предметном множестве <tex>D</tex>, при любой оценке предикатов, и при
