Проверьте правильность следующего умозаключения с помощью логических операций. Будет...

Question

Проверьте правильность следующего умозаключения с помощью логических операций. Будет пасмурная погода с дождем. Если будет дождь, то будет и снег. Если будет пасмурная погода с ветром, то снега не будет. Вывод: ветра не будет.

Answer 1

События:
Р  - пасмурная погода
D - дождь
С - снег
В - ветер
------------------------------------------------------------
P*D - пасмурно с дождём
D → C  = ¬D+C  - если будет дождь, то будет и снег
P*B → ¬C =¬(P*B) + ¬C =¬P+¬B+¬C
-----------------------------------------------------------
(P*D)*(¬D+C)*(¬P+¬B+¬C)=   
=P*D*C*(¬P+¬B+¬C)=
=P*D*C*¬B      --->   ветра нет, но пасмурно со снегом и дождём
                             

Comments

Вот это место у меня вызывает сомнения: P*B → ¬C =¬(P*B)→¬C. Получается, что P*B = ¬(P*B)

---

Есть формула : не(А*В) = неА +неВ и обратная: не(А+В) =неА*неВ

---

Есть. И что? Я совсем о другом: должно быть не P*B → ¬C = ¬(P*B)→¬C, а P*B → ¬C = ¬(P*B) + ¬C

---

не(Р*В) = неР + неВ

---

Вот уж воистину: "ты об одном, а тебе о другом".

---

да, верно, надо не(Р*В)+ неС

---

Так исправляйте, благо Вам на исправление ответ направлен

---

не получается исправить

---

спасибо. исправила

---

Все отлично, принял решение.