Pavlovsky писал(а):Source of the post
1. B(y)->A(x)->C(z)
Это как? Надо.
(B(y)->A(x))->C(z) или B(y)->(A(x)->C(z))
Да, точно, первое
2. ∀n(B(k)^¬(A(f(m)))vB(f(y))^A(x)^C(z)vC(f(t)))
замена неверно. Надо
∀n(B(n)^¬(A(fm(n)))vB(fy(n))^A(x)^C(z)vC(ft(n)))
Да, я неправильно напечатал k это n.
Только не понял, почему, например, f(m) надо писать fm(n)... Хотя ладно
Остальное тщательно не смотрел
Может вы напишите свою версию решения этого примера?
Дабы еще раз не ошибится приведу пример в Word'e.
P.S.: подчеркивание просто для наглядности.
[img]/modules/file/icons/x-office-document.png[/img] ______________.doc
