En la lógica de primer orden, las variables y los cuantificadores oscilan en un solo dominio. Pero a menudo es útil tener múltiples dominios (disjuntos). La lógica de muchos ordenados proporciona este...En la lógica de primer orden, las variables y los cuantificadores oscilan en un solo dominio. Pero a menudo es útil tener múltiples dominios (disjuntos). La lógica de muchos ordenados proporciona este tipo de marco.