Mostra la font per a Univers del discurs

{{ConcepteWiki}}
Expressió que es deu a A. de Morgan i que significa la part de l'[[univers|univers]] a què ens referim en el discurs, o al conjunt d'objectes que 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 alguna cosa. En la [[lògica|lògica de predicats]], l'univers del discurs el forma qualsevol [[classe (lògica)|classe]] no buida a la qual es refereixen les variables quantificades. Així, en l'expressió

<math> \forall{x} (Px\rightarrow{}Qx)</math>

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 el constitueix la summa lògica del conjunt de [[referent|referents]] i relats, o d'[[abast|abast]] i rang.

<center>[[File:3178acatala.jpg|400px|center]]</center>

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

<center>[[File:3682-1.png|400px|center]]</center>

{{Etiqueta
|Etiqueta=Lògica
}}
{{InfoWiki}}