Tarea. 12

Para esta tarea seleccione el porblema 2.6 el cual dice lo siuiente:

Whenever p is true, it cannot be true again until both q and r have been true (q and r need not have been true simultaneously)

-cuando p es verdadero, no puede ser verdad otra vez hasta que ambos q y r haber sido cierto (q y r no necesita ser verdad al mismo tiempo)

El problema nos pide si el enunciado se puede traducir en un CTL

Yo opino que si se puede:

Tarea

Seleccione el siguiente ejercicio del Linear Temporal Logic LTL el cual menciona:


A holds at all states s3k and does not hold at all states s3k+1 , s3k+2 , where k = 0, 1, . . ..

Basandonos en lo siguiente relizaremos el problema:

=holds at all states s3k 

 not hold at all states s3k+1 , s3k+2+

En conclusion A solo tiene los estados 0s3,1s3,2s3,3s3... pero no tiene los estados s3+1,2s3+2