Apartado dedicado a la lógica de enunciados con interesantes
aplicaciones interactivas que nos permitirán solucionar cualquier
ejercicio lógico con unos resultados absolutamente fiables.
En esta sección encontraremos las sigientes subsecciones:
- Teoría: Curso de lógica de enunciados.
- Praxis: ejercicios, aplicaciones interactivas remotas y locales,
juegos.
http://www.cibernous.com/logica/index.html