Diferència entre revisions de la pàgina «Univers del discurs»
De Wikisofia
| (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 | + | 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: | + | <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.
En els diagrames de Venn, l'univers (O) se simbolitza mitjançant el rectangle dins del qual es dibuixen els cercles de les classes
