Describir: La enseñanza de la lógica formal en la educación media superior a través del análisis semántico