curso-logica Herramientas del curso de lógica, inicialmente los ejercicios. Nota.- el código del motor base para los ejercicios no es propio, los tomé prestado del curso Introduction to Logic from Stanford University.