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