Изменения

Перейти к: навигация, поиск

Исчисление предикатов

1 байт добавлено, 21:22, 13 января 2012

Нет описания правки

Комментарии:

"Не входит свободно" - это также важный вопрос.

Рассмотрим формулу <tex>A(x) \rightarrow A(x)</tex>. Легко показать, что такая

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16540»