Diferencia entre revisiones de «Cuantificador universal»

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.

 

A \subset B

\; \land \;

</math>

 

: <math>

\forall x \in A