Lógica para aritmética real exacta