1302
правки
Изменения
→Правила вывода: очень важная правка http://twitter.com/sementry/status/158011592393490432
Рассмотрим формулу <tex>A(x) \rightarrow A(x)</tex>. Легко показать, что такая
формула общезначима и доказуема. Однако, <tex>(\exists{x}A(x)) \rightarrow A(x)</tex>
не является общезначимой, если <tex>A(x)</tex> не общезначима: достаточно взять в качестве
оценки свободной переменной <tex>x</tex> то значение, на котором <tex>A(x)</tex> ложна.
Вывод из гипотез также вполне можно расширить на исчисление предикатов.
