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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




Начать новую тему Ответить на тему  [ Сообщений: 27 ]  На страницу 1, 2, 3  След.
Автор Сообщение
 Заголовок сообщения: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 01:44 
Не в сети
Начинающий
Зарегистрирован:
09 июн 2015, 12:27
Сообщений: 21
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Всем привет. Буду преблагодарен, кто решит)
Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 12:57 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 14697
Откуда: Беларусь, Минск
Cпасибо сказано: 889
Спасибо получено:
3239 раз в 2993 сообщениях
Очков репутации: 619

Добавить очки репутацииУменьшить очки репутации
Нужно заменить импликации на дизъюнкции. В результате, по-моему, получается [math]1.[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 15:44 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 23:28
Сообщений: 3827
Cпасибо сказано: 482
Спасибо получено:
990 раз в 873 сообщениях
Очков репутации: 305

Добавить очки репутацииУменьшить очки репутации
Я бы сказал так: нужно выразить импликации через дизъюнкцию и отрицание, воспользоваться дистрибутивностью дизъюнкции относительно конъюнкции, законом исключённого третьего, правилами действий с константами и другими законами классической логики.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Ellipsoid "Спасибо" сказали:
Andy
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 16:35 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 14697
Откуда: Беларусь, Минск
Cпасибо сказано: 889
Спасибо получено:
3239 раз в 2993 сообщениях
Очков репутации: 619

Добавить очки репутацииУменьшить очки репутации
Ellipsoid
Ellipsoid писал(а):
Я бы сказал так: нужно выразить импликации через дизъюнкцию и отрицание, воспользоваться дистрибутивностью дизъюнкции относительно конъюнкции, законом исключённого третьего, правилами действий с константами и другими законами классической логики.

Разумеется, это точнее. Но не хотелось пугать автора вопроса подробностями. Хотелось сразу указать на суть дела. Возможно, я сделал это неудачно.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Ellipsoid
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 20:03 
Не в сети
Начинающий
Зарегистрирован:
09 июн 2015, 12:27
Сообщений: 21
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
А решить может кто, чтобы убедиться в правильности?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 20:07 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 14697
Откуда: Беларусь, Минск
Cпасибо сказано: 889
Спасибо получено:
3239 раз в 2993 сообщениях
Очков репутации: 619

Добавить очки репутацииУменьшить очки репутации
GeneralMath
Я думаю, Вы сами сможете решить, если последуете сделанным выше рекомендациям. Сначала преобразуйте импликацию [math]y \to xy[/math] в дизъюнкцию.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 20:41 
Не в сети
Начинающий
Зарегистрирован:
09 июн 2015, 12:27
Сообщений: 21
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
А вы не можете?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 20:44 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 14697
Откуда: Беларусь, Минск
Cпасибо сказано: 889
Спасибо получено:
3239 раз в 2993 сообщениях
Очков репутации: 619

Добавить очки репутацииУменьшить очки репутации
GeneralMath
GeneralMath писал(а):
А вы не можете?

Я решил и предположил, что
Andy писал(а):
Нужно заменить импликации на дизъюнкции. В результате, по-моему, получается [math]1.[/math]

Теперь нужно сравнить с тем, что получится у Вас.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 21:04 
Не в сети
Начинающий
Зарегистрирован:
09 июн 2015, 12:27
Сообщений: 21
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Мне нужно конкретно решение(

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Равносильные преобразования
СообщениеДобавлено: 19 сен 2017, 21:13 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 14697
Откуда: Беларусь, Минск
Cпасибо сказано: 889
Спасибо получено:
3239 раз в 2993 сообщениях
Очков репутации: 619

Добавить очки репутацииУменьшить очки репутации
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]

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
СДНФ СКНФ равносильные преобразования

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

Irishka31p

9

1170

21 янв 2014, 16:09

Равносильные лёгкие, непонятные мне системы

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

ITwearsmeout

3

92

24 янв 2017, 21:33

Доказать, что формулы, равносильные на некотором множестве

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

dollemika

0

222

10 май 2013, 22:40

Тригонометрические преобразования

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

tragtor

1

448

20 мар 2014, 21:16

Тождественные преобразования

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

dasha math

3

214

27 апр 2014, 09:31

Преобразования, базисы и т.д

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

Slaanew

2

216

25 дек 2012, 18:26

Линейные преобразования

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

photographer

1

124

30 мар 2015, 01:04

Тригонометрические преобразования

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

nastynya09

1

201

09 июн 2015, 19:55

Тождественные преобразования

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

urivskay

6

145

19 фев 2016, 19:42

Аффинные преобразования

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

PomogiMneYmolay

0

112

30 мар 2016, 18:53


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



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

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


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

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

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

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