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

Математический форум 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
Сообщений: 15201
Откуда: Беларусь, Минск
Cпасибо сказано: 951
Спасибо получено:
3344 раз в 3092 сообщениях
Очков репутации: 646

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

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

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

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

Добавить очки репутацииУменьшить очки репутации
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
Сообщений: 15201
Откуда: Беларусь, Минск
Cпасибо сказано: 951
Спасибо получено:
3344 раз в 3092 сообщениях
Очков репутации: 646

Добавить очки репутацииУменьшить очки репутации
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
Сообщений: 15201
Откуда: Беларусь, Минск
Cпасибо сказано: 951
Спасибо получено:
3344 раз в 3092 сообщениях
Очков репутации: 646

Добавить очки репутацииУменьшить очки репутации
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
Сообщений: 15201
Откуда: Беларусь, Минск
Cпасибо сказано: 951
Спасибо получено:
3344 раз в 3092 сообщениях
Очков репутации: 646

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

1195

21 янв 2014, 16:09

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

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

ITwearsmeout

3

94

24 янв 2017, 21:33

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

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

dollemika

0

222

10 май 2013, 22:40

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

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

urivskay

6

148

19 фев 2016, 19:42

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

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

photographer

1

127

30 мар 2015, 01:04

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

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

PomogiMneYmolay

0

119

30 мар 2016, 18:53

Якобиан преобразования

в форуме Дифференциальное исчисление

Merhaba

0

243

23 дек 2012, 15:45

Интегральные преобразования

в форуме Дифференциальные и Интегральные уравнения

Free Dreamer

1

249

08 дек 2012, 17:31

Логические преобразования

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

Razum_Genija

6

249

24 ноя 2012, 16:41

Преобразования Лапласа

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

dark_te18

0

52

03 май 2017, 21:04


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



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

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


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

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

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

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