¿Tablas de verdad para operadores temporales?

Question

Me gustaría saber si podemos construir tablas de verdad para los siguientes operadores temporales en la lógica temporal como lo hacemos en la lógica proposicional.

                  G
                 X
                 F
                 U
 

Answer 1

No lo creo: los operadores para la lógica tensa son operadores modales, y no operadores de verdad.

Ver en SEP la entrada en Lógica Temporal.