En esta página se encuentran los enunciados de los ejercicios del tema
7 del curso de Lógica informática para resolverlo con tableros
semánticos. Pulsar sobre cada ejercicio para ver su demostración.
Ejercicio 7.4
Ejercicio 7.6
Ejercicio 7.7
Ejercicio 7.9
Pulsar en ayuda para ver instrucciones sobre
el uso y la sintaxis del programa.