Diferència entre revisions de la pàgina «Univers del discurs»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Expressió que es deu a A. de Morgan i que significa la part de l'univers al fet que ens referim en el discurs, o al conjunt d'objectes q...».) |
m (Text de reemplaçament - "[[aconsegueixi" a "[[abast") |
||
| 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'[[ | + | 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. |
[[File:3178a.png|400px|center]] | [[File:3178a.png|400px|center]] | ||
Revisió del 16:50, 12 abr 2015
Expressió que es deu a A. de Morgan i que significa la part de l'univers al fet que 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 ho 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 ho 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 com es dibuixen els cercles de les classes
