Logic rettelse