Упражнение 3

Доказать утверждения:

1. M, t |= <F>А, если и только если существует u  W такой, что tRu и M, u |= А.

2. M, t |= <P>А, если и только если существует такой u  W, что uRt и M, u |= А.