Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 4 ] |
|
Автор | Сообщение | |
---|---|---|
jjj666 |
|
|
Вернуться к началу | ||
Andy |
|
|
jjj666
Существует алгоритм приведения предиката к сколемовской нормальной форме. Прокомментируйте свои действия в соответствии с этим алгоритмом. Тогда станет понятным, правильно ли выполнено задание. Пользуйтесь, пожалуйста, редактором формул. Тогда Ваши записи будут читаться лучше. |
||
Вернуться к началу | ||
jjj666 |
|
|
Andy писал(а): jjj666 Существует алгоритм приведения предиката к сколемовской нормальной форме. Прокомментируйте свои действия в соответствии с этим алгоритмом. Тогда станет понятным, правильно ли выполнено задание. Пользуйтесь, пожалуйста, редактором формул. Тогда Ваши записи будут читаться лучше. По моим записям не видно, что я знаю этот алгоритм? Просто ответьте "да" или "нет" уже на мой вопрос и всё Но да ладно: Приводим к ПНФ, Заменяем кванторы существования ВСЁ |
||
Вернуться к началу | ||
3D Homer |
|
|
Правильно. Единственное замечание — ПНФ равносильна исходной формуле, а сколемовская нормальная форма — нет (это вообще так, а не только в данном случае), поэтому не очень хорошо писать =.
|
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: jjj666 |
||
[ Сообщений: 4 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Предваренная нормальная форма и стандартная форма Скулема | 0 |
899 |
12 ноя 2016, 13:46 |
|
Квадратичная форма и полярная к ней билинейная форма
в форуме Линейная и Абстрактная алгебра |
0 |
449 |
26 дек 2018, 14:33 |
|
Гарантированная форма и форма Крылова
в форуме Численные методы |
1 |
383 |
04 окт 2017, 15:57 |
|
Предикаты | 5 |
385 |
14 фев 2021, 15:51 |
|
Предикаты | 1 |
191 |
05 апр 2020, 19:30 |
|
Предикаты | 11 |
708 |
27 ноя 2017, 16:37 |
|
Предикаты | 2 |
271 |
18 май 2020, 19:40 |
|
Предикаты | 1 |
146 |
12 июн 2020, 12:19 |
|
Предикаты | 11 |
537 |
02 май 2018, 15:23 |
|
Предикаты | 2 |
153 |
05 дек 2020, 21:48 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 31 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |