Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 3 |
[ Сообщений: 27 ] | На страницу 1, 2, 3 След. |
|
Автор | Сообщение | |
---|---|---|
GeneralMath |
|
|
|
||
Вернуться к началу | ||
Andy |
|
|
Нужно заменить импликации на дизъюнкции. В результате, по-моему, получается [math]1.[/math]
|
||
Вернуться к началу | ||
Ellipsoid |
|
|
Я бы сказал так: нужно выразить импликации через дизъюнкцию и отрицание, воспользоваться дистрибутивностью дизъюнкции относительно конъюнкции, законом исключённого третьего, правилами действий с константами и другими законами классической логики.
|
||
Вернуться к началу | ||
За это сообщение пользователю Ellipsoid "Спасибо" сказали: Andy |
||
Andy |
|
|
Ellipsoid
|
||
Вернуться к началу | ||
За это сообщение пользователю Andy "Спасибо" сказали: Ellipsoid |
||
GeneralMath |
|
|
А решить может кто, чтобы убедиться в правильности?
|
||
Вернуться к началу | ||
Andy |
|
|
GeneralMath
Я думаю, Вы сами сможете решить, если последуете сделанным выше рекомендациям. Сначала преобразуйте импликацию [math]y \to xy[/math] в дизъюнкцию. |
||
Вернуться к началу | ||
GeneralMath |
|
|
А вы не можете?
|
||
Вернуться к началу | ||
Andy |
|
|
GeneralMath
GeneralMath писал(а): А вы не можете? Я решил и предположил, что Andy писал(а): Нужно заменить импликации на дизъюнкции. В результате, по-моему, получается [math]1.[/math] Теперь нужно сравнить с тем, что получится у Вас. |
||
Вернуться к началу | ||
GeneralMath |
|
|
Мне нужно конкретно решение(
|
||
Вернуться к началу | ||
Andy |
|
|
GeneralMath
GeneralMath писал(а): Мне нужно конкретно решение( Вам в этом помогают. Чтобы получить решение, нужно заменить сначала внутреннюю импликацию дизъюнкцией, а затем внешнюю. При этом используется формула [math]\left( p \to q \right) \sim \left( \overline{p} \lor q \right).[/math] Заменяйте. Напишите, что получится при [math]p=y,~q=xy=\left( x \land y \right).[/math] |
||
Вернуться к началу | ||
На страницу 1, 2, 3 След. | [ Сообщений: 27 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Равносильные лёгкие, непонятные мне системы
в форуме Алгебра |
3 |
255 |
24 янв 2017, 20:33 |
|
Преобразования
в форуме Алгебра |
5 |
215 |
09 авг 2022, 19:41 |
|
Преобразования
в форуме Линейная и Абстрактная алгебра |
0 |
297 |
04 мар 2018, 21:09 |
|
Непонимаю преобразования 3
в форуме Специальные разделы |
2 |
200 |
08 авг 2019, 23:08 |
|
Тригонометрические преобразования
в форуме Тригонометрия |
2 |
403 |
23 окт 2017, 05:58 |
|
Линейные преобразования
в форуме Линейная и Абстрактная алгебра |
6 |
349 |
11 июн 2017, 16:59 |
|
Преобразования Лапласа | 0 |
271 |
03 май 2017, 20:04 |
|
Линейные преобразования
в форуме Линейная и Абстрактная алгебра |
1 |
728 |
30 мар 2015, 00:04 |
|
Аффинные преобразования | 0 |
342 |
30 мар 2016, 17:53 |
|
Тождественные преобразования
в форуме Алгебра |
3 |
441 |
27 апр 2014, 08:31 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 21 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |