Logica operacional