Logica proposizionale nella scuola.