Controllo degli stimoli e soluzione di problemi logico-formali