===== UNIVERSO DO DISCURSO =====
Esta [[lexico:e:expressao|expressão]] foi introduzida por De Morgan ([[lexico:f:formal|formal]] Logic, 1847, p. 37) e divulgada por Boole (Laws of Thought, 1854, III, § 4) para indicar, em [[lexico:g:geral|geral]], "a [[lexico:e:extensao|extensão]] do [[lexico:c:campo|campo]] em cujo interior estão todos os objetos do nosso [[lexico:d:discurso|discurso]]".

Mais [[lexico:t:tarde|Tarde]] e com maior [[lexico:p:precisao|precisão]], [[lexico:e:esse|esse]] [[lexico:t:termo|termo]] passou a indicar, na [[lexico:a:algebra-da-logica|álgebra da lógica]], uma [[lexico:c:classe|classe]] [[lexico:n:nao|não]] vazia, da qual, e somente da qual, sejam extraídos todos os [[lexico:e:elementos|elementos]] com que são constituídas todas as classes sobre as quais o [[lexico:c:calculo|cálculo]] é feito. Daí se conclui facilmente que o [[lexico:u:universo-do-discurso|universo do discurso]] é a [[lexico:s:soma-logica|soma lógica]] de todas as classes que podem [[lexico:s:ser|ser]] formadas com tais elementos.