Sin título

Cuantificador Universal Afirmativo

• En lógica, se usa el símbolo ∀ , denominado cuantificador universal, ante-puesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada.

Diapositiva 2

• Sea A una expresión y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x, escribiremos (∀x) A• (∀ x) es cuantificador
• •El cuantificador universal indica que algo es cierto para todos los individuos
• 

Diapositiva 3