Задание

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

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

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

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

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

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

1

2

3

\(A \to B\) и \(\neg C\)

\(B \to C\) и \(A\)

\(C \to B\) и \(A\)