Principal #Induzione E Negazione