univers del discurs LÒG.

Expressió que es deu a A. de Morgan i que significa la part de l'univers a la qual ens referim en el discurs, o al conjunt d'objectes de què es parla en un determinat context o situació. Així, per exemple, en un llibre de matemàtiques l'univers del discurs són els nombres o les figures geomètriques i en un d'història els successos (les res gestae) de la humanitat, o de part de la humanitat, i de cadascun d'aquests objectes s'afirma i nega quelcom. En la lògica de predicats, l'univers del discurs el forma qualsevol classe no buida a la que es refereixen les variables quantificades. Així, en l'expressió

la x es refereix a qualsevol membre o individu de l'univers en general, mentre que a,b,c, etc., indicaria una constant d'individu pertanyent a aquest mateix univers. En lògica de relacions l'univers ho constitueix la suma lògica del conjunt de referents i relats, o d' abast i rang 

En els diagrames de Venn, l'univers (U) se simbolitza mitjançant el rectangle dins el qual es dibuixen els cercles de les classes

Aquesta obra està sota una llicència de Creative Commons.