necessità logica (1)