Alcune osservazioni per l'insegnamento della logica nel programma di matematica