Quantificador existencial: diferència entre les revisions

→‎Exemple: ressaltat i sintaxi
(→‎Exemple: err. tipogràfic)
(→‎Exemple: ressaltat i sintaxi)
== Exemple ==
[[Fitxer:Conjuntos 04.svg|right|Exemple]]
Si tenim dos conjunts A i B, i A és un [[subconjunt]] de B :
: <math> A \subset B \; \land \; A \not = B </math>
 
existeix almenys un element ''x'' de B que pertany a A :
: <math> \exists x \in B \; \land \; x \in A \, </math>
 
En afirmar que hi ha almenys un ''x'' que pertany a B i pertany a A, vol dir que no tots els elements de B pertanyen a A, en ser A i B conjunts diferents, hi ha almenys un element ''i'' de B que no pertany a A :
: <math> \exists i \in B \; \land \, i \notin A \, </math>
 
Què podem llegir: hi ha almenys un element ''i'' a B, i aquest element ''i'' no pertany a A .
 
== Vegeu també ==
21.237

modificacions