Tarea 11.

Para esta semana se nos encargo elegir un problema del siguiente pdf referente a la Lógica Temporal Lineal.
Yo elegí lo siguiente:

Y según como se indican los operadores que tenemos:

Entonces tenemos que la propiedad expresada seria la siguiente:

Eventualmente siempre ocurre A.

Referencias:

Link1

Link2