Quantificador existencial: diferència entre les revisions

m
Correcció tipogràfica: espais sobrants
m (Bot: Traient 18 enllaços interwiki, ara proporcionats per Wikidata a d:q773483)
m (Correcció tipogràfica: espais sobrants)
: <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 elemnto 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é ==
1.165.781

modificacions