Juan Ángel Garza Camarena

Resumen

Modelación de enseñanza de lógica temporal mediante tableaux

Esta presentación para el TDL es un modelo de clase acerca de lógicas temporales expuestas mediante tableaux. Está dividida en tres partes. En la primera se explica el uso de los tableaux en la lógica proposicional; en la segunda presento una lógica temporal proposicional y lineal; y en la tercera parte muestro cómo puede utilizarse el método de tableaux para determinar la validez o invalidez de argumentos de aquella lógica temporal.


Ir a la página del ciclo 2009-1

Ir a la página del TDL

Ir a la página de Raymundo Morado

Ir a la página del IIF