Предикаты. Помогите c решением.

Slayer D
Сообщений: 25
Зарегистрирован: 26 июл 2006, 21:00

Предикаты. Помогите c решением.

Сообщение Slayer D » 13 фев 2007, 22:31

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
Последний раз редактировалось Slayer D 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test

Аватар пользователя
Pavlovsky
Сообщений: 1377
Зарегистрирован: 30 июл 2006, 21:00

Предикаты. Помогите c решением.

Сообщение Pavlovsky » 14 фев 2007, 12:11

Как то так. Качество не гарантирую


[img]/modules/file/icons/x-office-document.png[/img] _________.doc
Последний раз редактировалось Pavlovsky 30 ноя 2019, 15:33, всего редактировалось 1 раз.
Причина: test


Вернуться в «Другие разделы математики»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 2 гостей