1. Переформулируйте следующие утверждения в символической форме (язык логики). а) Если я пойду в театр, кино

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

а) Пусть:
$Т$ означает "я пойду в театр",
$К$ означает "я пойду в кино",
$Г$ означает "я пойду в гости вечером",
$П$ означает "я не буду подготовлен к семинару",
$В$ означает "я не высплюсь",
$О$ означает "я плохо отвечу".

Тогда можно переформулировать утверждение следующим образом: $(Т\vee К\vee Г)\to (\mathrm{\neg }П\wedge \mathrm{\neg }В\wedge О)$.

б) Пусть:
$М$ означает "мальчик любит мыло",
$З$ означает "мальчик любит зубной порошок",
$Мл$ означает "мальчик милый",
$Х$ означает "мальчик ведет себя хорошо".

Тогда можно переформулировать утверждение следующим образом: $(М\wedge З)\to (Мл\wedge Х)$.

в) Существует несколько способов переформулировать это утверждение в символической форме. Один из возможных вариантов:

Пусть:
$Кол$ означает "я ходил на коляске",
$Вер$ означает "я ходил верхом",
$Киб$ означает "я ходил в кибитке",
$Кар$ означает "я ходил в карете",
$Тел$ означает "я ходил в телеге",
$П$ означает "я ходил пешком".

Тогда можно переформулировать утверждение следующим образом: $(Кол\vee Вер\vee Киб\vee Кар\vee Тел\vee П)$.

г) Пусть:
$Л$ означает "лебедь решил вести воз с поклажей",
$Р$ означает "рак решил вести воз с поклажей",
$Щ$ означает "щука решила вести воз с поклажей".

Тогда можно переформулировать утверждение следующим образом: $(Л\wedge Р\wedge Щ)$.

д) Пусть:
$Тб$ означает "ты должен был быть еще лучше",
$Н$ означает "ты получил немного обучения у него".

Тогда можно переформулировать утверждение следующим образом: $(Тб\wedge Н)$.