marriage-ltls

2.13. Формализуйте утверждения в логике LTL:

1. "Я выйду замуж не менее двух раз"
2. "Я выйду замуж не более двух раз"
3. "Я выйду замуж точно два раза"
4. "Я выйду замуж не менее одного раза"
5. "Я выйду замуж не более одного раза"
6. "Я выйду замуж точно один раз"
7. "Я никогда не выйду замуж"

в предположении, что говорящая сейчас не замужем и никогда замужем не была. Используйте атомарный предикат p, обозначающий событие "Я выхожу замуж".

Указания:

• считать, что p истинно только в момент выхода замуж (в один дискретный момент времени), а не все время в браке;
• считать, что p может быть истинно в соседние моменты времени, это считается двумя отдельными “выходами замуж”.