Tarea 11

Logica Temporal Lineal:
La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistema de reglas, donde esta presente el tiempo.Wikipedia

Connectives and Temporal Operators

Como ejemplo tomaré los enunciados:

1.-At some point, i will hold forever
Solucion

2.-If a student forgets a coin in the coin slot, she (or another student) will use this coin to get a drink before any professor can do this.
Solucion:

□(sfc⇒(¬pct R eac))

sfc : student forgets a coin

eac: Student uses coin

pct :professor uses coin

Referencias:
Enlace 1
Enlace 2