Poprawiona logika