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

Денис_8700

1

a) Пусть $P$ - я пошел в театр, кино или в гости вечером, $Q$ - я не подготовился к семинару, $R$ - я не выспался и $S$ - я плохо отвечаю. Тогда утверждение может быть переформулировано как $P\to (Q\wedge R\wedge S)$.

b) Пусть $P$ - мальчик любит мыло, $Q$ - мальчик любит зубной порошок, $R$ - этот мальчик милый и $S$ - этот мальчик поступает хорошо. Тогда утверждение может быть переформулировано как $(P\wedge Q)\to (R\wedge S)$.

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

d) Утверждение также не является логическим, так как описывает ситуацию, не связанную с условными высказываниями.

e) Пусть $P$ - ты обострился, $Q$ - я мог бы поучиться у него. Тогда утверждение может быть переформулировано как $P\to Q$.