Ejemplos del Tema 7 (deduccin natural en lgica de primer orden)
===============================================================================

* La versin de Jape usada en la asignatura "Lgica informtica (curso
  2005-06)" es la 7.d4.9.

* El archivo LI.jt contiene la teora LI.jt la teora usada en la asignatura.

* El archivo LI_ejemplos_tema_LPO.j contiene los enunciados de los ejemplos
  del tema 7.

* El archivo LI_ejemplos_tema_LPO.jp contiene las soluciones de los ejemplos
  del tema 7.

* Para iniciar el sistema hay que ejecutar la orden
     jape7 LI.jt

---
Jos A. Alonso (jalonso@us.es)
