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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Метод резолюции - унификация
СообщениеДобавлено: 20 апр 2017, 17:26 
Не в сети
Начинающий
Зарегистрирован:
20 апр 2017, 17: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, 03:35 
Не в сети
Оракул
Зарегистрирован:
06 июн 2013, 17:17
Сообщений: 993
Cпасибо сказано: 49
Спасибо получено:
283 раз в 272 сообщениях
Очков репутации: 87

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

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

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

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

Asia fox

1

41

08 мар 2017, 23:24

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

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

Eva59

1

129

18 апр 2014, 10:45

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

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

Eva59

2

336

10 апр 2014, 14:36

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

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

Asia fox

2

63

23 мар 2017, 21:29

Как методом резолюции получить пустую резольвенту

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

TIMOFEJ

0

197

16 дек 2011, 22:34

Задачи коши, метод лагранжа, метод понижения порядка

в форуме Дифференциальные и Интегральные уравнения

delli-girl

0

434

21 май 2013, 20:43

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

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

Hero525

0

338

01 апр 2014, 21:39

Домашка (метод простых итераций и метод Зейделя)

в форуме Численные методы

GlenKem

3

480

06 окт 2013, 15:35

Метод релаксации и метод квадратных корней

в форуме Численные методы

enq

0

335

13 мар 2014, 09:40

Метод моментов и метод максимального правдоподобия

в форуме Математическая статистика и Эконометрика

Anna09

0

442

29 дек 2011, 17:25


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



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

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


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

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

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

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