Discusión:Lógica temporal
El cuadro de operadores (y otros términos) está copiado directamente del inglés sin traducir. Yo no tengo ni idea de cuáles son sus equivalentes en castellano. Si alguien que sabe lógica lee este comentario, por favor que lo haga. --Lauranrg 19:47 6 oct 2006 (CEST)