1. Переформулируйте следующие утверждения в символической форме, используя язык логики: a) Если я пошел в театр, кино
1. Переформулируйте следующие утверждения в символической форме, используя язык логики:
a) Если я пошел в театр, кино или в гости вечером, то я не подготовился к семинару, не выспался и плохо отвечаю.
b) "Если мальчик любит мыло и зубной порошок, то этот мальчик милый и поступает хорошо." - Владимир Маяковский.
c) "Я гуляю долго на свете как в коляске, так и верхом, в кибитке, в карете, в телеге и пешком." - Александр Пушкин.
d) "Однажды лебедь, рак и щука взялись возить грузы." - Иван Крылов.
e) "Если бы ты немножко больше обострился, тогда бы у него мог бы немного поучиться." - Иван Крылов.
a) Если я пошел в театр, кино или в гости вечером, то я не подготовился к семинару, не выспался и плохо отвечаю.
b) "Если мальчик любит мыло и зубной порошок, то этот мальчик милый и поступает хорошо." - Владимир Маяковский.
c) "Я гуляю долго на свете как в коляске, так и верхом, в кибитке, в карете, в телеге и пешком." - Александр Пушкин.
d) "Однажды лебедь, рак и щука взялись возить грузы." - Иван Крылов.
e) "Если бы ты немножко больше обострился, тогда бы у него мог бы немного поучиться." - Иван Крылов.
Денис_8700 1
a) Пусть \( P \) - я пошел в театр, кино или в гости вечером, \( Q \) - я не подготовился к семинару, \( R \) - я не выспался и \( S \) - я плохо отвечаю. Тогда утверждение может быть переформулировано как \( P \to (Q \land R \land S) \).b) Пусть \( P \) - мальчик любит мыло, \( Q \) - мальчик любит зубной порошок, \( R \) - этот мальчик милый и \( S \) - этот мальчик поступает хорошо. Тогда утверждение может быть переформулировано как \( (P \land Q) \to (R \land S) \).
c) Утверждение не является логическим, так как не содержит условной связки, поэтому его нельзя переформулировать в символической форме.
d) Утверждение также не является логическим, так как описывает ситуацию, не связанную с условными высказываниями.
e) Пусть \( P \) - ты обострился, \( Q \) - я мог бы поучиться у него. Тогда утверждение может быть переформулировано как \( P \to Q \).