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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Предикаты и сколемовская форма
СообщениеДобавлено: 16 ноя 2019, 09:29 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2019, 18:49
Сообщений: 5
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Дано вот такое логическое выражение, нужно привести к сколемовской нормальной форме
Изображение

Я сделал, но не уверен, правильно ли. Не могли бы вы сказать, верно ли?

Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и сколемовская форма
СообщениеДобавлено: 16 ноя 2019, 10:17 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
jjj666
Существует алгоритм приведения предиката к сколемовской нормальной форме. Прокомментируйте свои действия в соответствии с этим алгоритмом. Тогда станет понятным, правильно ли выполнено задание.

Пользуйтесь, пожалуйста, редактором формул. Тогда Ваши записи будут читаться лучше.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и сколемовская форма
СообщениеДобавлено: 16 ноя 2019, 13:28 
Не в сети
Начинающий
Зарегистрирован:
15 ноя 2019, 18:49
Сообщений: 5
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
jjj666
Существует алгоритм приведения предиката к сколемовской нормальной форме. Прокомментируйте свои действия в соответствии с этим алгоритмом. Тогда станет понятным, правильно ли выполнено задание.

Пользуйтесь, пожалуйста, редактором формул. Тогда Ваши записи будут читаться лучше.

По моим записям не видно, что я знаю этот алгоритм? Просто ответьте "да" или "нет" уже на мой вопрос и всё
Но да ладно:
Приводим к ПНФ,
Заменяем кванторы существования
ВСЁ

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

Добавить очки репутацииУменьшить очки репутации
Правильно. Единственное замечание — ПНФ равносильна исходной формуле, а сколемовская нормальная форма — нет (это вообще так, а не только в данном случае), поэтому не очень хорошо писать =.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
jjj666
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 4 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Предваренная нормальная форма и стандартная форма Скулема

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

vlaste

0

899

12 ноя 2016, 13:46

Квадратичная форма и полярная к ней билинейная форма

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

CFAS

0

449

26 дек 2018, 14:33

Гарантированная форма и форма Крылова

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

Kariaaa

1

383

04 окт 2017, 15:57

Предикаты

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

Keccear

5

385

14 фев 2021, 15:51

Предикаты

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

kot999cash

1

191

05 апр 2020, 19:30

Предикаты

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

huffy

11

708

27 ноя 2017, 16:37

Предикаты

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

in+yan

2

271

18 май 2020, 19:40

Предикаты

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

kam kam

1

146

12 июн 2020, 12:19

Предикаты

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

tanyhaftv

11

537

02 май 2018, 15:23

Предикаты

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

Craizi8

2

153

05 дек 2020, 21:48


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



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

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


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

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

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

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