Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Метод резолюции - унификация
СообщениеДобавлено: 20 апр 2017, 16:26 
Не в сети
Начинающий
Зарегистрирован:
20 апр 2017, 16:17
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Как доказать [math]∃z∃u∃v∀x(∀y(R(z,y)→R(x,y))∨ ∀y(R(u,y)→R(x,y))∨∀y(R(v,y)→R(x,y)))[/math] методом резолюции?
Соответствующая сколемовская будет: [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]


Тут ни один дизъюнкт не унифицируется.
Как разрешить это?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Метод резолюции - унификация
СообщениеДобавлено: 21 апр 2017, 02:35 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Мне кажется, это не общезначимая формула. Пусть область интерпретации есть натуральные числа, а R(x,y) означает x < y. Тогда ∀y(R(z,y) -> R(x,y)) эквивалентно x <= z. Поэтому формула утверждает ∃zuv ∀x(x <= z \/ x <= u \/ x <= v), а эта формула ложна.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Nikita_999

1

164

16 май 2017, 16:27

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Eva59

2

750

10 апр 2014, 13:36

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Eva59

1

303

18 апр 2014, 09:45

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Asia fox

2

209

23 мар 2017, 20:29

Метод резолюции

в форуме Дискретная математика, Теория множеств и Логика

Asia fox

1

283

08 мар 2017, 22:24

Нахождение экстремума. Метод Фибоначчи и метод Хука-Дживса

в форуме Исследование операций и Задачи оптимизации

Hero525

0

764

01 апр 2014, 20:39

Метод последовательного исключения неизвестных, метод Гаусса

в форуме Линейная и Абстрактная алгебра

Viktoriya9977

0

363

18 дек 2018, 17:14

Метод индукции

в форуме Теория чисел

Arthur0905

6

405

06 апр 2017, 21:01

Метод Зейдель

в форуме MathCad

Enberg1337

3

464

26 мар 2017, 19:36

Метод интервалов

в форуме Алгебра

kicultanya

1

272

20 май 2016, 15:24


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

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


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved