Условие:
Переведите следующие высказывания с естественного языка на язык логики высказываний. Используйте предложенные обозначения для атомарных высказываний:
Р: "Идет дождь."
Q: "Я останусь дома."
R: "Я возьму зонт."
S: "Я пойду на прогулку."
1. Если идет дождь, то я останусь дома.
2. Я пойду на прогулку только если не идет дождь.
3. Я возьму зонт, если идет дождь, иначе я пойду на прогулку.
4. Если я не останусь дома, то я пойду на прогулку и возьму зонт.
5. Идет дождь, и я не возьму зонт, но я все равно пойду на прогулку.