новости  материалы  справочник  форум  гостевая  ссылки  
Новости
Материалы
  Логические подходы
  Нейронные сети
  Генетические алгоритмы
  Разное
  Публикации
  Алгоритмы
  Применение
Справочник
Форум
Гостевая книга
Ссылки
О сайте
 

Решение

{x = y} |– x = y      
Ж |– f(x, x) = f(x, x)
(ВП)
{x = y} |– f(x, x) = f(x, x)
(З=)
{x = y} |– f(x, y) = f(y, x)
Й)
Ж |– x = y Й f(x, y) = f(y, x)
Здесь мы применили первое правило замены. В нём в качестве формулы F(v) можно взять формулу f(x, v) = f(v, x). Тогда F(x) принимает вид f(x, x) = f(x, x), а F(y) – f(x, y) = f(y, x).

Назад