Grazie Claudio. Sono semplicemente un insegnante di un ITI; in un breve corso preuni cerco di insegnare ai miei studenti la rigorosità della logica formale. Approfitto per fare i complimenti a questo forum in cui ho sempre trovato ottimi interlocutori. Spero anche che queste discussioni siano seguite da chi prepara effettivamente i test.
Ciao.