La diferencia es sutil pero muy importante en la lógica proposicional.