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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Привести к ПНФ следующие выражения
СообщениеДобавлено: 08 апр 2014, 16:10 
Не в сети
Начинающий
Зарегистрирован:
24 сен 2013, 16:09
Сообщений: 43
Cпасибо сказано: 10
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Для преобразования есть правила (но пользоваться ними не умею):
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]
Дальше не пойму.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Привести к ПНФ следующие выражения
СообщениеДобавлено: 08 апр 2014, 16:21 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

Добавить очки репутацииУменьшить очки репутации
Какая-то странная запись [math]x \exists x[/math] и [math]x \forall x[/math] в первом задании.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Привести к ПНФ следующие выражения
СообщениеДобавлено: 08 апр 2014, 16:26 
Не в сети
Начинающий
Зарегистрирован:
24 сен 2013, 16:09
Сообщений: 43
Cпасибо сказано: 10
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
mad_math писал(а):
Какая-то странная запись [math]x \exists x[/math] и [math]x \forall x[/math] в первом задании.

Так было в задании.
[math]x \exists x[/math]
А это я как бы по закону Моргана поменял:
[math]x \forall x[/math]

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Нотация большогоО. Правильны ли следующие выражения?Докажите

в форуме Пределы числовых последовательностей и функций, Исследования функций

Tatika

9

365

30 апр 2017, 11:36

Проинтегрировать следующие уравнения

в форуме Теория вероятностей

SkiprDAG

1

464

05 май 2021, 11:44

Проинтегрировать следующие уравнения

в форуме Теория вероятностей

SkiprDAG

8

525

05 май 2021, 11:35

Сформулируйте следующие предикаты

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

belke

1

107

16 янв 2023, 09:56

Сформулировать следующие предикаты

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

belke

1

116

16 янв 2023, 09:47

Решить следующие задачи:

в форуме Теория вероятностей

elenin

1

1462

18 май 2016, 17:36

Является ли нормой в R2 следующие отображения

в форуме Интегральное исчисление

greenpilot

5

307

23 дек 2018, 19:48

Для векторов сделать следующие действия

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

vanec_yakubov

5

267

07 янв 2017, 13:55

Исследовать на экстремум следующие функции

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

llqck

9

297

13 дек 2022, 15:01

Являються ли следующие утверждения верными

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

Kosta

4

342

04 ноя 2015, 11:32


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



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

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


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

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

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

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