Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | |
---|---|---|
goodChel |
|
|
(A [math]\setminus B[/math]) [math]\cup B[/math] = A [math]\Leftrightarrow B \subseteq A[/math] |
||
Вернуться к началу | ||
Andy |
|
|
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] -- универсум). |
||
Вернуться к началу | ||
За это сообщение пользователю Andy "Спасибо" сказали: Ellipsoid |
||
Ellipsoid |
|
|
Во-первых, тождество здесь только в левой части равносильности. Во-вторых, учитывая сказанное 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]. |
||
Вернуться к началу | ||
За это сообщение пользователю Ellipsoid "Спасибо" сказали: Andy |
||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Доказать справедливость тождеств и включений | 1 |
496 |
19 дек 2016, 12:22 |
|
Доказать справедливость тождеств. Комплексные числа | 1 |
442 |
13 май 2015, 15:44 |
|
Запоминание тождеств
в форуме Тригонометрия |
3 |
226 |
05 ноя 2022, 10:07 |
|
Теория автоматов (доказательство тождеств) | 3 |
239 |
27 июн 2023, 16:17 |
|
Задания на упрощение выражений и доказательство тождеств
в форуме Тригонометрия |
1 |
346 |
05 ноя 2018, 14:52 |
|
Показать, что функция двух переменных удовлетворяет тождеств
в форуме Интегральное исчисление |
0 |
453 |
24 ноя 2016, 15:25 |
|
Проверить справедливость равенств
в форуме Линейная и Абстрактная алгебра |
3 |
902 |
06 июн 2014, 10:41 |
|
Доказать справедливость импликации | 2 |
515 |
01 ноя 2014, 23:24 |
|
Проверить справедливость равенств
в форуме Линейная и Абстрактная алгебра |
4 |
593 |
16 май 2014, 06:54 |
|
Предикаты и справедливость вывода | 4 |
536 |
20 июн 2015, 16:27 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 22 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |