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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Привести формулу логики предикатов к предваренной форме
СообщениеДобавлено: 14 июн 2018, 15:45 
Не в сети
Начинающий
Зарегистрирован:
14 апр 2017, 12:47
Сообщений: 13
Cпасибо сказано: 3
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Здравствуйте, требуется привести следующую формулу к предваренной форме:
[math]\left( \exists x \forall y A(x,y) \right)[/math] [math]\to[/math] [math]\lnot \left( \forall x \exists y B(x,y) \right)[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Привести формулу логики предикатов к предваренной форме
СообщениеДобавлено: 14 июн 2018, 18:57 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Начните с переобозначения предметных переменных у одной из предикатных переменных. Потом избавьтесь от импликации, используйте законы де Моргана для кванторов и проносите кванторы через дизъюнкцию.

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Привести формулу к предварённой форме.

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

rfgbnfkbyf

3

323

12 фев 2016, 20:22

Привести к предварённой нормальной форме

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

Seamen

0

164

27 май 2019, 18:35

Привести формулу к предварённо-нормальной форме

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

rfgbnfkbyf

10

414

29 мар 2016, 13:15

Отличие пропозициональной логики от логики предикатов

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

Knyazhskiy

3

441

22 янв 2016, 10:03

Приведение формулы к предваренной форме

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

Veltare

1

251

30 ноя 2017, 12:25

Формулы логики предикатов

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

mad_math

0

256

18 май 2017, 06:09

Записать на языке логики предикатов

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

Escritor731

0

408

22 дек 2016, 16:32

Помощь с доказательством логики предикатов

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

Selomar

2

165

31 май 2020, 19:17

Грамматика языка логики предикатов

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

petrowert

2

398

16 июл 2015, 12:21

Кванторы. Формула логики предикатов

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

Pakmen3214

1

189

18 май 2020, 09:56


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



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

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


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

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

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

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