Universo de discurso

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados. Indica o conjunto relevante de entidades as quais os quantificadores se referem.

O termo "universo de discurso" geralmente se refere ao conjunto completo de termos usados num discurso específico, isto é, à família de termos semânticos ou lingüísticos que são específicos para uma certa área de interesse. Em Teoria dos Modelos, o termo "universo de discurso" se refere ao conjunto de entidades nas quais um modelo é baseado.

Uma base de dados é um modelo de algum aspecto da realidade de uma organização. É convencional chamar essa realidade de "universo de discurso" ou "domínio de discurso".

O exemplo seguinte especifica um domínio de discurso:

Considere 0,1,2,3,4,5... como sendo o conjunto dos números naturais.

A asserção  \forall n  (2 \cdot n \geq n)

é verdadeira para o domínio dos números naturais.

Ver também[editar | editar código-fonte]