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

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

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

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

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

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

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

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

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

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

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

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

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