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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения: Re: Доказать тождество
СообщениеДобавлено: 08 ноя 2017, 16:52 
Не в сети
Начинающий
Зарегистрирован:
22 окт 2017, 18:24
Сообщений: 38
Cпасибо сказано: 10
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
huffy писал(а):
Использовал закон Моргана как мне и посоветовали


Закон де Моргана выглядит иначе: в правой части вместо конъюнкции должна быть дизъюнкция.


Ах, да точно, спасибо

Ellipsoid писал(а):
Этот переход можете объяснить?

Ellipsoid писал(а):
Это неверно, по-моему.


Если не сложно можете объяснить как же правильно будет? Не много времени ведь займет.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать тождество
СообщениеДобавлено: 08 ноя 2017, 16:54 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
huffy
Отрицание конъюнкции равносильно дизъюнкции отрицаний, то есть
[math]\overline{\left( x \in B \right) \land \left( x \notin C \right)} \Leftrightarrow \left( \overline{\left( x \in B \right)} \lor \overline{\left( x \notin C \right)} \right) \Leftrightarrow \left( \left( x \notin B \right) \lor \left( x \in C \right) \right).[/math]

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

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Отрицание конъюнкции равносильно дизъюнкции отрицаний, то есть


Но тут ещё неявно использован закон двойного отрицания, поскольку запись [math]x \not \in A[/math] является сокращением записи [math]\overline{x \in A}[/math].

huffy писал(а):
Если не сложно можете объяснить как же правильно будет? Не много времени ведь займет.


Не сложно. Но я всё же хотел выяснить, Вы основы логики изучали?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать тождество
СообщениеДобавлено: 08 ноя 2017, 16:58 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
Ellipsoid
Ellipsoid писал(а):
Но тут ещё неявно использован закон двойного отрицания

Я знаю.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать тождество
СообщениеДобавлено: 08 ноя 2017, 17:09 
Не в сети
Начинающий
Зарегистрирован:
22 окт 2017, 18:24
Сообщений: 38
Cпасибо сказано: 10
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
Не сложно. Но я всё же хотел выяснить, Вы основы логики изучали?


Ну судя по вашей реакции на мои решения, основу логики я не изучал
Но я изучал, но наверно не полностью понял или не полностью изучил.

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

Добавить очки репутацииУменьшить очки репутации
huffy писал(а):
Да именно преподы и требуют доказательства в обе стороны


Не все йогурты преподы одинаково полезны.

На мой взгляд, для доказательства данного тождества достаточно следующего. Преобразуем левую часть, используя закон теории множеств [math]A \setminus B=
A \cap \overline{B}[/math]
. Имеем:

[math](A \setminus B) \setminus C = A \cap \overline{B} \cap \overline{C}[/math].


Займёмся правой частью. Используя теоретико-множественные законы, покажем, что она имеет тот же самый вид, что и левая. Сначала избавимся от разности:

[math](A \setminus C) \setminus ( B \setminus C) = (A \cap \overline{C}) \setminus (B \cap \overline{C}) = (A \cap \overline{C} ) \cap \overline{(B \cap \overline{C})}[/math].


Дальше нужно использовать закон де Моргана, дистрибутивность пересечения относительно объединения, правила [math]A \cap \overline{A} = \varnothing[/math], [math]A \cap \varnothing =\varnothing[/math] и [math]A \cup \varnothing =A[/math].

Всё это можно изложить и на языке классической логики высказываний. Но для этого нужно раскрывать по определению каждую теоретико-множественную операцию.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Ellipsoid "Спасибо" сказали:
huffy
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему    На страницу Пред.  1, 2  Страница 2 из 2 [ Сообщений: 16 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Доказать тождество

в форуме Алгебра

Flutt1

1

339

21 сен 2017, 14:12

Доказать тождество

в форуме Алгебра

pavel_itel

1

278

17 дек 2017, 21:26

Доказать тождество

в форуме Алгебра

Smilelan

1

307

26 дек 2017, 14:27

Доказать тождество

в форуме Алгебра

nishen

5

567

19 фев 2018, 02:22

Доказать тождество

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

trigsen

4

277

11 мар 2019, 12:20

Доказать тождество

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

natalykhch

4

425

11 мар 2019, 22:50

Доказать тождество

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

Fabianowty

1

515

09 мар 2018, 17:59

Доказать тождество

в форуме Ряды

Serg63

2

213

01 июл 2019, 10:42

Доказать тождество

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

nad27

2

144

03 ноя 2019, 21:48

Доказать тождество

в форуме Начала анализа и Другие разделы школьной математики

matik

3

228

14 янв 2020, 19:49


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



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

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


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

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

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

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