Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.91/22: Рейтинг темы: голосов - 22, средняя оценка - 4.91
6 / 6 / 0
Регистрация: 08.04.2013
Сообщений: 37
1

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

24.06.2014, 22:03. Показов 4175. Ответов 3
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\times B)\cup C=(A\times B)\cup(A \times C)
0
Лучшие ответы (1)
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
24.06.2014, 22:03
Ответы с готовыми решениями:

Доказать справедливость равенства
Доказать справедливость равенства при любом n \in N ...

Проверить справедливость логического следствия
Правильно ли я понимаю алгоритм?? Предположим нам дано какое то выражение в логике предикатов.и...

Проверить для произвольных отношений справедливость утверждения:
Проверить для произвольных отношений Ф=(A,G) и R = (A,F) справедливость утверждения: Если...

Используя основные эквивалентности исчисления высказываний, проверить равенства
Используя основные эквивалентности исчисления высказываний, проверить равенства: 2) \(B \bar{C}...

3
Эксперт по математике/физике
4183 / 3051 / 919
Регистрация: 19.11.2012
Сообщений: 6,196
25.06.2014, 10:39 2
Это ваше равенство не может быть проверено.Оно не верно. Может быть все-таки о таком равенстве речь
https://www.cyberforum.ru/cgi-bin/latex.cgi?<br />
A\times(B\cup C)=(A\times B)\cup(A\times C)?<br />
1
266 / 192 / 50
Регистрация: 16.06.2014
Сообщений: 424
25.06.2014, 10:46 3
Лучший ответ Сообщение было отмечено yaskiv как решение

Решение

Для доказательства ложности удобно использовать диаграммы Эйлера-Венна.
1
Ушел с форума
Автор FAQ
16343 / 7661 / 1076
Регистрация: 11.11.2010
Сообщений: 13,710
26.06.2014, 02:58 4
https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\times B)\cup(A \times C)=A\times (B\cup C)\neq (A\times B)\cup C
https://www.cyberforum.ru/cgi-bin/latex.cgi?A \times C\neq C
0
26.06.2014, 02:58
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
26.06.2014, 02:58
Помогаю со студенческими работами здесь

Дано натуральное число n. Проверить справедливость равенства:
Дано натуральное число n. Проверить справедливость равенства:

Докажите справедливость равенства
sin(a-b)sin(a+b)=sin^2a-sin^2b

Показать справедливость равенства
Как показать, что при n \geq 2 справедливо равенство 1 + \frac{1}{1!} + \frac{1}{2!} + ..... +...

Доказать справедливость равенства
Кто распишет пример подробно Задание Доказать что при каждом натуральном n справедливо...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Новые блоги и статьи
Как подключить JavaScript файл в другом JavaScript файле
InfoMaster 20.01.2025
В современной веб-разработке организация кодовой базы играет ключевую роль в создании масштабируемых и поддерживаемых приложений. Модульность и правильное структурирование кода стали неотъемлемыми. . .
Как откатить изменения в исходниках, не внесенные в Git
InfoMaster 20.01.2025
При работе с системой контроля версий Git разработчики часто сталкиваются с необходимостью отменить внесенные изменения в исходном коде. Особенно актуальной становится ситуация, когда изменения еще. . .
В чем разница между px, in, mm, pt, dip, dp, sp
InfoMaster 20.01.2025
В мире цифрового дизайна и разработки интерфейсов правильный выбор единиц измерения играет ключевую роль в создании качественного пользовательского опыта. История развития систем измерений для. . .
Как изменить адрес удалённого репозитория (origin) в Git
InfoMaster 20.01.2025
В терминологии Git термин origin является стандартным именем для основного удаленного репозитория, с которым взаимодействует локальная копия проекта. Когда разработчик клонирует репозиторий с. . .
Как переместить последние коммиты в новую ветку (branch) в Git
InfoMaster 20.01.2025
При работе над проектом часто возникают ситуации, когда необходимо изолировать определенные изменения от основной линии разработки. Это может быть связано с экспериментальными функциями, исправлением. . .
Как вернуть результат из асинхронной функции в JavaScript
InfoMaster 20.01.2025
Асинхронное программирование представляет собой фундаментальную концепцию в JavaScript, которая позволяет выполнять длительные операции без блокировки основного потока выполнения программы. В. . .
Какой локальный веб-сервер выбрать
InfoMaster 19.01.2025
В современной веб-разработке локальные веб-серверы играют ключевую роль, предоставляя разработчикам надежную среду для создания, тестирования и отладки веб-приложений без необходимости использования. . .
Почему планшеты и iPad уже не так популярны, как раньше
InfoMaster 19.01.2025
Эра революционных инноваций История планшетов началась задолго до того, как эти устройства стали привычными спутниками нашей повседневной жизни. В начале 1990-х годов появились первые прототипы,. . .
Как самому прошить BIOS ноутбука
InfoMaster 19.01.2025
BIOS (Basic Input/ Output System) представляет собой важнейший компонент любого компьютера или ноутбука, который обеспечивает базовое взаимодействие между аппаратным и программным обеспечением. . .
Какой Linux выбрать для домашнего компьютера
InfoMaster 19.01.2025
Современные реалии выбора операционной системы В современном мире выбор операционной системы для домашнего компьютера становится все более важным решением, которое может существенно повлиять на. . .
Как объединить два словаря одним выражением в Python
InfoMaster 19.01.2025
В мире программирования на Python работа со словарями является неотъемлемой частью разработки. Словари представляют собой мощный инструмент для хранения и обработки данных в формате "ключ-значение". . . .
Как без исключения проверить существование файла в Python
InfoMaster 19.01.2025
При разработке программного обеспечения на Python часто возникает необходимость проверить существование файла перед выполнением операций с ним. Это критически важная задача, которая помогает избежать. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru