Domini de discurs

En llògica, el domini de discurs, també cridat univers de discurs, o simplement domini, és el conjunt de coses sobre les quals es parla en un determinat context. Depenent del domini de discurs, una mateixa proposició podrà ser verdadera o falsa. Per eixemple, en dir «tots són amics», si s'està parlant sobre un chicotet grup de persones, la proposició potser siga verdadera, pero si s'està parlant sobre tot lo món, llavors és falsa.

Per convenció, el domini de discurs és sempre un conjunt no buit.^{cita requerida}

En la teoria de models, l'univers de discurs és el conjunt d'entitats en que un model es basa.^{cita requerida}

Una base de senyes és un model d'algun aspecte de la realitat d'una organisació. A esta realitat també li la denomina l'univers o domini de discurs.^{cita requerida}

Vore també

• Domini de definició
• Llògica de primer orde
• Quantificador