Indreptat logica