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:
En LaTeX, si quieres poner texto en modo matemático, usa \mbox{texto} para que se respeten los espacios. Sería mejor darles nombres a tus átomos. Exigiendo cumplimiento simultáneo sería algo como "cuadro (p -> (no p U (r ^ q)", pero aquí se dice que con que se cumplan en cuando sea, es más complejo. Van 2 pts por el intento.
ResponderEliminar