Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | |
---|---|---|
Redmal |
|
|
1. Исключить логические связки эквиваленции и импликации, выразив их через операции дизъюнкции, конъюнкции и отрицания . 2. Опустить знаки операций отрицания непосредственно на предикаты, используя закон двойного отрицания и законы де Моргана, в том числе для кванторов . 3. Если необходимо, переименовать связанные переменные. 4. Вынести кванторы в начало формулы, используя соответствующие законы, для получения предваренной нормальной формы. 1) [math]\forall y(F(y) \lor \lnot (x \exists x) P(x,y))[/math] [math]\forall y(F(y) \lor (x \forall x) \lnot P(x,y))[/math] Опустил знак отрицания, а дальше что? 2) [math]\lnot (\exists x) ( ( \forall y) A(x,y) \land ( \exists y)( \forall z)(C(z) \to B(x,y) )[/math] Исключаю импликацию: [math]\lnot (\exists x) ( ( \forall y) A(x,y) \land ( \exists y)( \forall z)( \lnot C(z) \lor B(x,y) )[/math] Дальше не пойму. |
||
Вернуться к началу | ||
mad_math |
|
|
Какая-то странная запись [math]x \exists x[/math] и [math]x \forall x[/math] в первом задании.
|
||
Вернуться к началу | ||
Redmal |
|
|
mad_math писал(а): Какая-то странная запись [math]x \exists x[/math] и [math]x \forall x[/math] в первом задании. Так было в задании. [math]x \exists x[/math] А это я как бы по закону Моргана поменял: [math]x \forall x[/math] |
||
Вернуться к началу | ||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Нотация большогоО. Правильны ли следующие выражения?Докажите
в форуме Пределы числовых последовательностей и функций, Исследования функций |
9 |
365 |
30 апр 2017, 11:36 |
|
Проинтегрировать следующие уравнения
в форуме Теория вероятностей |
1 |
464 |
05 май 2021, 11:44 |
|
Проинтегрировать следующие уравнения
в форуме Теория вероятностей |
8 |
525 |
05 май 2021, 11:35 |
|
Сформулируйте следующие предикаты | 1 |
107 |
16 янв 2023, 09:56 |
|
Сформулировать следующие предикаты | 1 |
116 |
16 янв 2023, 09:47 |
|
Решить следующие задачи:
в форуме Теория вероятностей |
1 |
1462 |
18 май 2016, 17:36 |
|
Является ли нормой в R2 следующие отображения
в форуме Интегральное исчисление |
5 |
307 |
23 дек 2018, 19:48 |
|
Для векторов сделать следующие действия | 5 |
267 |
07 янв 2017, 13:55 |
|
Исследовать на экстремум следующие функции | 9 |
297 |
13 дек 2022, 15:01 |
|
Являються ли следующие утверждения верными | 4 |
342 |
04 ноя 2015, 11:32 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 17 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |