Синоптик объявляет прогноз погоды на завтра и утверждает следующее:

1. Если не будет ветра, то будет пасмурная погода без дождя.
2. Если будет дождь, то будет пасмурно и без ветра.
3. Если будет пасмурная погода, то будет дождь и не будет ветра.

Пусть А — «Ветра нет», В — «Пасмурно», С — «Дождь».

Сопоставьте номер утверждения синоптика с его формальным описанием.

• Объекты 1
  • 1
  • 2
  • 3
• Объекты 2
  • \(B \to C\) и \(A\)
  • \(C \to B\) и \(A\)
  • \(A \to B\) и \(\neg C\)