Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
LamyFromSafari |
|
|
[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] |
||
Вернуться к началу | ||
Ellipsoid |
|
|
Начните с переобозначения предметных переменных у одной из предикатных переменных. Потом избавьтесь от импликации, используйте законы де Моргана для кванторов и проносите кванторы через дизъюнкцию.
|
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Привести формулу к предварённой форме. | 3 |
323 |
12 фев 2016, 20:22 |
|
Привести к предварённой нормальной форме | 0 |
164 |
27 май 2019, 18:35 |
|
Привести формулу к предварённо-нормальной форме | 10 |
414 |
29 мар 2016, 13:15 |
|
Отличие пропозициональной логики от логики предикатов | 3 |
441 |
22 янв 2016, 10:03 |
|
Приведение формулы к предваренной форме | 1 |
251 |
30 ноя 2017, 12:25 |
|
Формулы логики предикатов | 0 |
256 |
18 май 2017, 06:09 |
|
Записать на языке логики предикатов | 0 |
408 |
22 дек 2016, 16:32 |
|
Помощь с доказательством логики предикатов | 2 |
165 |
31 май 2020, 19:17 |
|
Грамматика языка логики предикатов | 2 |
398 |
16 июл 2015, 12:21 |
|
Кванторы. Формула логики предикатов | 1 |
189 |
18 май 2020, 09:56 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 31 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |