Diferencia entre revisiones de «Cuantificador universal»
Contenido eliminado Contenido añadido
Línea 21:
</math>
Al ser '''A''' y '''B''' conjuntos diferentes como indica el diagrama, podemos decir que no todos los elementos '''y''' de '''B''' pertenecen a '''A''', siendo esto una
: <math>
\lnot \forall y \in B : \; y \in A \,
|