Métodos de enseñanza no convencional y otro basado en experiencias de aprendizaje en la enseñanza de la lógica formal