Común
Cuantificador universal
indicador en la lógica formal que sirve para indicar que cierta característica se encuentra en todos los elementos de un conjunto
Cuantificador universal
En lógica, se usa el símbolo ∀ {\displaystyle \forall } , denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación. ∀ x ∈ B {\displaystyle \forall x\in B}
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis