Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 8 ] |
|
Автор | Сообщение | |
---|---|---|
Atmos |
|
|
А: "Завтра будет дождь лишь при том условии, что упадёт давление и сменится ветер. Х: Завтра будет дождь У: Упадёт давление Z: Сменится ветер [math]A = Y \wedge Z \to X[/math] [math]\overline A = \overline {Y \wedge Z \to X} = \overline {\overline {Y \wedge Z} \vee X} = \overline {\overline Y \vee \overline Z \vee X} = Y \vee Z \vee \overline X[/math] Правильно ли составлено отрицание? |
||
Вернуться к началу | ||
mad_math |
|
|
Atmos писал(а): Правильно ли составлено отрицание? Нет. Законы де Моргана не учтены в последнем переходе.Да и в третьем переходе не было необходимости: [math]\overline{\overline{Y\wedge Z}\vee X}=\overline{\overline{Y\wedge Z}}\wedge\overline{X}=Y\wedge Z\wedge\overline{X}[/math] |
||
Вернуться к началу | ||
За это сообщение пользователю mad_math "Спасибо" сказали: Atmos |
||
Atmos |
|
|
Спасибо!
|
||
Вернуться к началу | ||
mad_math |
|
|
Всегда пожалуйста
|
||
Вернуться к началу | ||
Atmos |
|
|
Всё равно не понял, почему так....
Закон де Моргана по-моему должен выполняться для коньюнкции в первую очередь |
||
Вернуться к началу | ||
mad_math |
|
|
Atmos писал(а): Закон де Моргана по-моему должен выполняться для коньюнкции в первую очередь И почему? |
||
Вернуться к началу | ||
Atmos |
|
|
А возможно ли применить следующую формулу, и существует ли она?
[math]\overline{a \to b} = a \land \overline{b}[/math] |
||
Вернуться к началу | ||
Radley |
|
|
Эта формула - верна. Она следует из определения импликации и свойства де Моргана.
|
||
Вернуться к началу | ||
[ Сообщений: 8 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Логика высказываний и Логика предикатов | 2 |
270 |
17 мар 2022, 20:06 |
|
Логика высказываний | 3 |
601 |
09 дек 2015, 23:19 |
|
Мат. логика. Логика высказываний | 14 |
1157 |
06 ноя 2014, 16:47 |
|
Логика высказываний. Построить вывод | 1 |
507 |
16 ноя 2014, 17:58 |
|
Логика высказываний. Доказание клауз | 1 |
339 |
04 дек 2017, 22:02 |
|
Исчисление высказываний | 1 |
143 |
13 янв 2022, 16:56 |
|
Исчисление высказываний | 5 |
549 |
30 май 2015, 20:13 |
|
Исчисления высказываний | 7 |
419 |
26 ноя 2016, 12:38 |
|
Исчисление высказываний | 3 |
144 |
18 дек 2021, 08:00 |
|
Исчисление высказываний | 8 |
593 |
14 окт 2016, 17:34 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 19 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |