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

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}