Diferencia entre revisiones de «Cuantificador universal»
Contenido eliminado Contenido añadido
m Reverted edits by 181.53.106.78 (talk) to last revision by Marianov (HG) |
|||
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 ==
[[Archivo:Conjuntos 04.svg|right]]
Si tenemos dos conjuntos diferentes '''A''' y '''B''', y '''A''' es un [[subconjunto]] de '''B''':
: <math>
A \subset B
\; \land \;
Línea 11 ⟶ 14:
</math>
Todo elemento
: <math>
\forall x \in A
|