¿Qué es?
No se ha añadido ninguna twiki todavía.
Expresión que se debe a A. de Morgan y que significa la parte del universo a que nos referimos en el discurso, o al conjunto de objetos de que se habla en un determinado contexto o situación. Así, por ejemplo, en un libro de matemáticas el universo del discurso son los números o las figuras geométricas y en uno de historia los sucesos (las res gestae) de la humanidad, o de parte de la humanidad, y de cada uno de estos objetos se afirma y niega algo. En la lógica de predicados, el universo del discurso lo forma cualquier clase no vacía a la que se refieren las variables cuantificadas. Así, en la expresión
[math] \forall{x} (Px\rightarrow{}Qx)[/math]
la x se refiere a cualquier miembro o individuo del universo en general, mientras que a,b,c, etc., indicaría una constante de individuo perteneciente a este mismo universo. En lógica de relaciones el universo lo constituye la suma lógica del conjunto de referentes y relatos, o de alcance y rango.
En los diagramas de Venn, el universo (U) se simboliza mediante el rectángulo dentro del cual se dibujan los círculos de las clases
