LÓGICA ON-LINE
Si quieres ejercitar tus conocimientos de Lógica de un modo directo (on line) e interactivo, debes tener muy presente la dirección que te presentamos a continuación.
- Si quieres conocer como funciona un "Proof-checker" para ejercicios lógicos de deducción natural. Si, además, quieres que el formalizador
realice tablas de verdad y animaciones, debes visitar la página de:
Mundo Lógica