No se ha añadido ninguna twiki todavía.

En general, noción cercana a universo de discurso. En lógica de predicados, conjunto de objetos a que se refiere un predicado, y que se supone no vacío. El predicado es, así, aquella propiedad que se afirma de un conjunto no vacío. El dominio del predicado «x es amante de la música clásica» es el conjunto de individuos de los que se puede afirmar con sentido la propiedad de ser amante de la música clásica, o el conjunto de objetos que pueden ocupar el lugar de la función de predicado. La extensión del predicado es el conjunto de todos los objetos del dominio que hacen verdadero el enunciado.

En las relaciones de predicados poliádicos, el dominio es el conjunto de individuos que ocupan el primer lugar del par ordenado (referente), para los cuales hay por lo menos un elemento del segundo miembro del par (relato) que hace verdadera la relación. Así, en «x es padre de y» x, y, el dominio, subconjunto del alcance (todos los elementos referentes), está formado por el conjunto de todos los elementos primeros del par (todos los x) que ejercen o han ejercido la función de padre. El codominio, o el dominio converso, es el conjunto de los elementos segundos del par, subconjunto a su vez del rango (todos los y), constituido por todos los términos del segundo miembro del par (relatos) para los cuales hay por lo menos un referente que hace verdadera la relación. En el caso citado, los individuos que son hijos, esto es, en este caso todos los humanos. La suma lógica de dominio y codominio constituye el campo. La extensión de una relación diádica es el conjunto formado por los pares de individuos que hacen verdadero su enunciado.


Ejemplo ↓
Por ejemplo, en el universo del discurso de los hombres, la relación "ser marido de" determina las siguientes clases:


Dominio: los hombres casados
Codominio: las mujeres casadas
Campo: todos los casados


Mientras que en universo del discurso de los hombres, la relación de "ser de la misma especie que" determina la igualdad de clases entre dominio, codominio, campo y universo.