Accions

Diferència entre revisions de la pàgina «Univers del discurs»

De Wikisofia

m (bot: - univers al fet que ens + univers a què ens)
 
(Hi ha una revisió intermèdia del mateix usuari que no es mostren)
Línia 4: Línia 4:
 
<math> \forall{x} (Px\rightarrow{}Qx)</math>
 
<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 ho constitueix la summa lògica del conjunt de [[referent|referents]] i relats, o d'[[abast|abast]] i rang.
+
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.
  
[[File:3178a.png|400px|center]]
+
<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
 
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
  
[[File:3682-1.png|400px|center]]
+
<center>[[File:3682-1.png|400px|center]]</center>
  
 
{{Etiqueta
 
{{Etiqueta

Revisió de 19:09, 25 feb 2018

Expressió que es deu a A. de Morgan i que significa la part de l'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 de predicats, l'univers del discurs el forma qualsevol classe no buida a la qual es refereixen les variables quantificades. Així, en l'expressió

[math]\displaystyle{ \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 referents i relats, o d'abast i rang.

3178acatala.jpg

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

3682-1.png