Ir al contenido

Lógica de primer orden/Cuantificador universal

De Wikiversidad

El cuantificador universal se representa con el símbolo e indica todos los elementos del grupo representados por una variable (por ejemplo ) poseen la propiedad indicada. Por ejemplo, la expresión:

nos dice que todos los elementos representados por la variable cumplen la propiedad de ser mayores al número natural 3.

Véase también

[editar]