Diferencia entre revisiones de «Cuantificador universal»
Contenido eliminado Contenido añadido
Línea 3:
Normalmente, en lógica, el conjunto al que se refiere es el [[dominio de referencia|universo o dominio de referencia]], en el cual aparecen todas las [[constante]]s.
== Ejemplo: ==
[[Image:Conjuntos 04.svg|right]]
Si tenemos dos conjuntos diferentes '''A''' y '''B''', y '''A''' es un [[subconjunto]] de '''B''':
| |||