Quantificador universal: diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot endreça categories |
m Correcció tipogràfica: espais sobrants |
||
Línia 3:
== Exemple ==
[[Fitxer:Conjuntos 04.svg|right|Exemple]]
Si tenim dos conjunts A i B
: <math> A \subset B \; \land \; A \not = B </math>
Línia 12:
: <math> \lnot \forall y \in B \; \rightarrow \, i \in A \, </math>
Què podem llegir: no per tots els elements i de B
== Relació quantificador universal i el quantificador existencial ==
Línia 23:
: <math> \forall x \in A \; \rightarrow \; x \in B \, </math>
Per a tot x que pertany a A implica que x pertany a B
: <math> \lnot \exists x \in A \; \rightarrow \; x \notin B \, </math>
| |||