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.