argomenti prima parte insieme induzione seconda parte logica proposizionale logica predicativa mancante