lunes, 12 de noviembre de 2012

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:


2 comentarios:

  1. Más bien "en el futuro llegará a un estado desde el cual siempre vale A". Van 8 pts.

    ResponderEliminar