Sin título

Cuantificador Universal Afirmativo.

• Cuantificador Universal:
• 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 a continuación.Esta situación implica una particularización de los objetos, es por ello que se hace necesario generalizar de forma que se pueda afirmar cada cosa de un universo determinado.
• *Todos x - Todo x
• *Cada x
• ejemplo 1: Todas las personas tienen un corazón.
• si identifico el predicado sería: ''tienen un corazón'' entonces
• P(x)esto significa que x tiene un corazón. La frase '' todas las personas''me indica que esto solo aplica para todos los x . Se formaliza de la siguiente manera:
• ∀x P(X)
• Ejemplo 2:
• Todos los caleños toman sancocho ó bailan salsa.
• ∀x(caleño(x) →tomasancocho(x) v bailasalsa(x))