Quantificador universal: diferència entre les revisions
Contingut suprimit Contingut afegit
La <i> és <y> |
m →Exemple: arreglo visualització mòbil, redacció, format Etiquetes: Edita des de mòbil Edició web per a mòbils Advanced mobile edit |
||
Línia 2:
== Exemple ==
[[Fitxer:Conjuntos 04.svg|
Si tenim dos conjunts ''A'' i ''B'', i ''A'' és un [[subconjunt]] de ''B
: <math> A \subset B \; \land \; A \not = B </math>
Tot element ''x'' de ''A'' pertany a ''B
: <math> \forall x \in A \; \rightarrow \; x \in B \, </math>
Com que ''A'' i ''B'' són conjunts diferents, no tots els elements
: <math> \lnot \forall y \in B \; \rightarrow \, y \in A \, </math>
== Relació quantificador universal i el quantificador existencial ==
|