Vés al contingut

Quantificador existencial: diferència entre les revisions

→‎Exemple: err. tipogràfic
m (Correcció tipogràfica: espais sobrants)
(→‎Exemple: err. tipogràfic)
: <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 elemntoelement ''i'' de B que no pertany a A :
: <math> \exists i \in B \; \land \, i \notin A \, </math>
 
21.237

modificacions