10 ejercicios de formalización en lógica proposicional utilizables en mobile learning (ml)

http://www.proyectoafri.es/ffia1/cd23logicasimplex/aprenlogicamadrid/logica/evaluacion/03formaliz.html 

http://www.proyectoafri.es/ffia1/cd23logicasimplex/aprenlogicamadrid/logica/evaluacion/03formaliz.html