Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
Vadimx |
|
|
Соответствующая сколемовская будет: [math]R(z,g(z,u,v))&¬R(f(z,u,v),g(z,u,v))& R(u,h(z,u,v))&¬R(f(z,u,v),h(z,u,v))& R(v,q(z,u,v))&¬R(f(z,u,v),q(z,u,v))[/math] Множество дизъюнктов: [math]S = {R(z,g(z,u,v)),¬R(f(z,u,v),g(z,u,v)), R(u,h(z,u,v)),¬R(f(z,u,v),h(z,u,v)), R(v,q(z,u,v)),¬R(f(z,u,v),q(z,u,v))}[/math] Тут ни один дизъюнкт не унифицируется. Как разрешить это? |
||
Вернуться к началу | ||
3D Homer |
|
|
Мне кажется, это не общезначимая формула. Пусть область интерпретации есть натуральные числа, а R(x,y) означает x < y. Тогда ∀y(R(z,y) -> R(x,y)) эквивалентно x <= z. Поэтому формула утверждает ∃zuv ∀x(x <= z \/ x <= u \/ x <= v), а эта формула ложна.
|
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Метод резолюции | 1 |
164 |
16 май 2017, 16:27 |
|
Метод резолюции | 2 |
750 |
10 апр 2014, 13:36 |
|
Метод резолюции | 1 |
303 |
18 апр 2014, 09:45 |
|
Метод резолюции | 2 |
209 |
23 мар 2017, 20:29 |
|
Метод резолюции | 1 |
283 |
08 мар 2017, 22:24 |
|
Нахождение экстремума. Метод Фибоначчи и метод Хука-Дживса | 0 |
764 |
01 апр 2014, 20:39 |
|
Метод последовательного исключения неизвестных, метод Гаусса
в форуме Линейная и Абстрактная алгебра |
0 |
363 |
18 дек 2018, 17:14 |
|
Метод индукции
в форуме Теория чисел |
6 |
405 |
06 апр 2017, 21:01 |
|
Метод Зейдель
в форуме MathCad |
3 |
464 |
26 мар 2017, 19:36 |
|
Метод интервалов
в форуме Алгебра |
1 |
272 |
20 май 2016, 15:24 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 19 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |