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.