Переведите следующие высказывания на логический язык: 3.1. Неожиданно начался дождь, и он быстро

Переведите следующие высказывания на логический язык:
3.1. Неожиданно начался дождь, и он быстро закончился.
3.2. Обычно, если часы показывают 6, то я иду гулять с собакой или смотрю телевизор.
3.3. Если завтра будет холодно, я не собираюсь гулять.
Логический язык:

3.1. ($D$ и $Н$)

3.2. ($Ч6 rightarrow (Гс vee Тс)$)

3.3. ($Х rightarrow neg Г$)

Обоснование или пояснение:

1) В высказывании 3.1 говорится, что начался дождь ($Д$), и он быстро закончился ($Н$). В логическом языке это выражается как ($D$ и $Н$).

2) В высказывании 3.2 сказано, что если часы показывают 6 ($Ч6$), то либо я иду гулять с собакой ($Гс$), либо смотрю телевизор ($Тс$). В логическом языке это выражается как ($Ч6 rightarrow (Гс vee Тс)$), где $rightarrow$ обозначает импликацию (если…то), а $vee$ — логическое ИЛИ (или).

3) В высказывании 3.3 говорится, что если завтра будет холодно ($Х$), то я не собираюсь гулять ($neg Г$). В логическом языке это выражается как ($Х rightarrow neg Г$), где $neg$ обозначает отрицание (не).

Совет:

Для более легкого понимания логического языка, рекомендуется прочитать теоретическую часть учебника или руководства по математической логике. Также полезно практиковаться в переводе повседневных высказываний в логический язык.

Задание:

Переведите следующие высказывания на логический язык:
1. Если я не посплю, то буду устал.
2. Либо я пойду в кино, либо останусь дома и посмотрю фильм.
3. Если помою посуду, то мама будет довольна.

Твой друг не знает ответ? Расскажи!