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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Справедливость тождеств
СообщениеДобавлено: 13 апр 2018, 13:24 
Не в сети
Начинающий
Зарегистрирован:
13 апр 2018, 13:17
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
доказать справедливость тождеств:
(A [math]\setminus B[/math]) [math]\cup B[/math] = A [math]\Leftrightarrow B \subseteq A[/math]

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

Добавить очки репутацииУменьшить очки репутации
goodChel
Заметьте, что [math]\left( A \setminus B \right) \cup B = \left( A \cap \overline{B} \right) \cup B = \left( A \cup B \right) \cap \left( \overline{B} \cup B \right) = \left( A \cup B \right) \cap U = A \cup B[/math] ([math]U[/math] -- универсум).

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

Добавить очки репутацииУменьшить очки репутации
Во-первых, тождество здесь только в левой части равносильности. Во-вторых, учитывая сказанное Andy, нужно доказать, что высказывания

[math]\forall x ( (x \in A \vee x \in B) \leftrightarrow (x \in A))[/math]


и

[math]\forall x (x \in B \to x \in A)[/math]


равносильны, каким бы ни был [math]x[/math].

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

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

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

nismo

1

496

19 дек 2016, 12:22

Доказать справедливость тождеств. Комплексные числа

в форуме Комплексный анализ и Операционное исчисление

Wish7

1

442

13 май 2015, 15:44

Запоминание тождеств

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

iegarpong

3

226

05 ноя 2022, 10:07

Теория автоматов (доказательство тождеств)

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

Ramil987

3

239

27 июн 2023, 16:17

Задания на упрощение выражений и доказательство тождеств

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

KFEFDF

1

346

05 ноя 2018, 14:52

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

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

Regiwa

0

453

24 ноя 2016, 15:25

Проверить справедливость равенств

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

Evgenia9696

3

902

06 июн 2014, 10:41

Доказать справедливость импликации

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

VladKomosh

2

515

01 ноя 2014, 23:24

Проверить справедливость равенств

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

Evgenia9696

4

593

16 май 2014, 06:54

Предикаты и справедливость вывода

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

manchester_alan

4

536

20 июн 2015, 16:27


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



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

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


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

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

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

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